From 364ea870eda7417d8a513364c05c3ed51777c3b5 Mon Sep 17 00:00:00 2001
From: pingu <nor@acorneroftheweb.com>
Date: Tue, 25 Nov 2025 19:17:22 +0100
Subject: [PATCH] Make it clean

---
 3or4/Interpreter/Self.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/3or4/Interpreter/Self.hs b/3or4/Interpreter/Self.hs
index d00a826..474da97 100644
--- a/3or4/Interpreter/Self.hs
+++ b/3or4/Interpreter/Self.hs
@@ -37,6 +37,7 @@ elemExp =
 
 substBrExp :: Exp
 substBrExp =
+  subst (Variable "if") ifExp .
   subst (Variable "elem") elemExp $ parse
   "\\subst. \\var. \\b. case b of \
   \ { Branch(c,vs,e') -> if (elem var vs) Branch(c,vs,e') Branch(c,vs, subst e') \