1 files changed, 1 insertions, 1 deletions
diff --git a/Object.hs b/Object.hs
index 640cf08..5b2130c 100644
--- a/Object.hs
+++ b/Object.hs
@@ -21,7 +21,7 @@ data Object = ObjNum { objNum :: Number }
             | ObjConst { objConst :: Const }
             | ObjVar { objVar :: Var }
             | ObjTerm { objTerm :: Term }
-            | ObjThm { objThm :: Theorem } deriving (Eq)
+            | ObjThm { objThm :: Theorem } deriving (Eq, Ord)
 
 type List = [Object]