1 files changed, 1 insertions, 1 deletions
diff --git a/Term.hs b/Term.hs
index 626b91c..f8f1b84 100644
--- a/Term.hs
+++ b/Term.hs
@@ -27,7 +27,7 @@ data Term = TVar { tVar :: Var }
           | TApp { tAppLeft :: Term
                  , tAppRight :: Term }
           | TAbs { tAbsVar :: Term
-                 , tAbsTerm :: Term }
+                 , tAbsTerm :: Term } deriving (Ord)
 
 type Substitution = ( [(Name,Type)], [(Var,Term)] )