From d4bdd920f94a393860d20432806699e223120064 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Dec 2018 13:36:49 +0100
Subject: [PATCH] BUGFIX: State hadn't been added consistently to unify: one
 call missed.

---
 src/mgu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mgu.c b/src/mgu.c
index 07bac40..6a269be 100644
--- a/src/mgu.c
+++ b/src/mgu.c
@@ -156,7 +156,7 @@ unify (Term t1, Term t2, Termlist tl, int (*callback) (), void *state)
   t2 = deVar (t2);
   if (t1 == t2)
     {
-      return callback (tl);
+      return callback (tl, state);
     }
 
   if (!(hasTermVariable (t1) || hasTermVariable (t2)))