1 files changed, 3 insertions, 1 deletions
diff --git a/builtins.c b/builtins.c
index 1dede9e..b2c7da6 100644
--- a/builtins.c
+++ b/builtins.c
@@ -247,7 +247,9 @@ compareterms(Term *t1, Term *t2)
 		/* Same type term */
 		switch(t1->tag){
 		case VariableTerm:
-			if(t1->clausenr == t2->clausenr)
+			if(runestrcmp(t1->text, L"_") == 0 && runestrcmp(t2->text, L"_") == 0)
+				result = 1; /* Special case since _ and _ are always different */
+			else if(t1->clausenr == t2->clausenr)
 				result = runestrcmp(t1->text, t2->text);
 			else
 				result = Compare(t1->clausenr, t2->clausenr);