From 2bfb79be604c68b7684b515f3be3388fecfcf1f4 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Fri, 2 Jul 2021 16:59:56 +0000 Subject: Remove strings, and add a (currently not changable) flag 'double_quotes' which defines how double quoted strings are stored. --- eval.c | 2 -- 1 file changed, 2 deletions(-) (limited to 'eval.c') 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: -- cgit v1.2.3