1 files changed, 2 insertions, 7 deletions
diff --git a/dat.h b/dat.h
index 288932e..484387b 100644
--- a/dat.h
+++ b/dat.h
@@ -14,7 +14,6 @@ struct Term
 	int arity;
 	Term *next;
 	Term *children;
-	int numbertype;
 	vlong ival;
 	double dval;
 	uvlong clausenr;
@@ -64,16 +63,12 @@ struct Module
 /* Sorted so that a lower value means it comes earlier in the standard ordering */
 enum {
 	VariableTerm,
-	NumberTerm,
+	FloatTerm,
+	IntegerTerm,
 	AtomTerm,
 	CompoundTerm,
 };
 
-enum {
-	NumberFloat,
-	NumberInt,
-};
-
 int debug;
 
 /* Flags */