Treat the variable _ differently, in that it doesn't introduce a new binding

1 files changed, 4 insertions, 0 deletions

diff --git a/eval.c b/eval.c
index 854d69c..c755cf5 100644
--- a/eval.c
+++ b/eval.c
@@ -169,6 +169,10 @@ unify(Term *a, Term *b, Binding **bindings)
 				left = right;
 				right = tmp;
 			}
+
+			if(runestrcmp(left->text, L"_") == 0)
+				continue; /* _ doesn't introduce a new binding */
+
 			Binding *b = malloc(sizeof(Binding));
 			b->name = left->text;
 			b->nr = left->clausenr;