small update so that retyping works

[cc1516.git] / AST.icl

diff --git a/AST.icl b/AST.icl
index 5173c4c..7b93acb 100644 (file)
--- a/AST.icl
+++ b/AST.icl
@@ -111,6 +111,5 @@ instance print Expr where
        print (EmptyListExpr _) = ["[]"]
        print (TupleExpr _ (e1, e2)) = ["(":print e1] ++ [",":print e2] ++ [")"]
 
-derive gEq Op2, Type
+derive gEq Op2
 instance == Op2 where (==) o1 o2 = gEq{|*|} o1 o2
-instance == Type where (==) o1 o2 = gEq{|*|} o1 o2