small update so that retyping works

[cc1516.git] / AST.dcl

diff --git a/AST.dcl b/AST.dcl
index cb2e5b7..3a61b54 100644 (file)
--- a/AST.dcl
+++ b/AST.dcl
@@ -45,5 +45,4 @@ instance toString Type
 instance toString Pos
 instance toString Op2
 instance == Op2
-instance == Type
 instance toString FieldSelector