1 files changed, 0 insertions, 2 deletions
diff --git a/eval.c b/eval.c
index ae34175..968d6c9 100644
--- a/eval.c
+++ b/eval.c
@@ -226,8 +226,6 @@ equalterms(Term *a, Term *b)
 
 	switch(a->tag){
 	case AtomTerm:
-	case StringTerm:
-		return !runestrcmp(a->text, b->text);
 	case VariableTerm:
 		return (runestrcmp(a->text, b->text) == 0 && a->clausenr == b->clausenr);
 	case NumberTerm: