1 files changed, 4 insertions, 8 deletions
diff --git a/eval.c b/eval.c
index a7f2c43..e0d7286 100644
--- a/eval.c
+++ b/eval.c
@@ -246,14 +246,10 @@ equalterms(Term *a, Term *b)
 		return runestrcmp(a->text, b->text) == 0;
 	case VariableTerm:
 		return (runestrcmp(a->text, b->text) == 0 && a->clausenr == b->clausenr);
-	case NumberTerm:
-		if(a->numbertype != b->numbertype)
-			return 0;
-		if(a->numbertype == NumberInt && a->ival == b->ival)
-			return 1;
-		if(a->numbertype == NumberFloat && a->dval == b->dval)
-			return 1;
-		return 0;	
+	case FloatTerm:
+		return a->dval == b->dval;
+	case IntegerTerm:
+		return a->ival == b->ival;	
 	default:
 		return 0;
 	}