X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=AST.dcl;h=3a61b546b744a0f093eecfc903627ae7d91249f3;hb=a8348a333a567e5a469d1e5f8ec6c3dafc051c91;hp=4fd4121eb851c93414e49efb011767977604b22a;hpb=2953e6cc260d8243e5434b7e787258ab073d34d2;p=cc1516.git

diff --git a/AST.dcl b/AST.dcl
index 4fd4121..3a61b54 100644
--- a/AST.dcl
+++ b/AST.dcl
@@ -1,7 +1,7 @@
 definition module AST
 
 from Data.Maybe import :: Maybe
-from StdOverloaded import class toString
+from StdOverloaded import class toString, class ==
 
 :: Pos = {line :: Int, col :: Int}
 :: AST = AST [VarDecl] [FunDecl]
@@ -45,5 +45,4 @@ instance toString Type
 instance toString Pos
 instance toString Op2
 instance == Op2
-instance == Type
 instance toString FieldSelector