From cb8b05d516aae2ccc0818787b6def2cf00bcd3ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 29 May 2014 11:37:50 +0100
Subject: [PATCH] 	FIX: skipped one Bind

---
 C/absmi.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/absmi.c b/C/absmi.c
index bff4758aa..c47dd5664 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -770,7 +770,7 @@ safe_interrupt_handler( PredEntry *pe USES_REGS )
 	  d1 = Deref(d1);
 	  if (VarOfTerm(d1) < H0 || VarOfTerm(d1) > HR) {
 	    Term v = MkVarTerm();
-	    Bind( VarOfTerm(d1),v );
+	    YapBind( VarOfTerm(d1),v );
 	  } else {
 	    goto loop;
 	  }