From 255ba39c758535589dfd66ffb6efb108919ecc08 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 11 May 2012 17:52:22 +1000
Subject: Incorporated use of Data.Set and Data.Map

---
 Object.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Object.hs')

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]
 
-- 
cgit