From 318958defb22df34387b00b7d383675eefea8656 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Sat, 25 Nov 2017 11:40:36 +0100
Subject: Cleanup

---
 assignment-9/sets.icl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/assignment-9/sets.icl b/assignment-9/sets.icl
index 94beddb..b277ff8 100644
--- a/assignment-9/sets.icl
+++ b/assignment-9/sets.icl
@@ -68,8 +68,6 @@ INT    :: (Element -> Element); INT = id
 SET    :: (Set -> Set);         SET = id
 BOOL   :: (Logical -> Logical); BOOL = id
 PRINT  :: (Print -> Print);     PRINT = id
-intvar :: (String -> Element);  intvar = variable
-setvar :: (String -> Set);      setvar = variable
 
 // -- Integer expressions --
 
@@ -231,7 +229,7 @@ Start = map (\x -> printToString x +++ "\n")
 	, print $ "x" =. integer 5
 	, print $ factorial PRINT PRINT PRINT 5
 	, printToString $ eval $ SET (For "x" (SET (set [0,1,2,3,4])) (variable "x" * INT (integer 5)))
-	, printToString $ eval $ "y" =. INT (integer 5) :. SET (For "x" (intvar "y") (variable "x" * INT (integer 5)))
+	, printToString $ eval $ "y" =. INT (integer 5) :. SET (For "x" (INT (variable "y")) (variable "x" * INT (integer 5)))
 	, printToString $ eval $ factorial INT SET BOOL 5
 	]
 
-- 
cgit v1.2.3