From ad9a973a26f28c5d6438fd5f38ba89653b2f7b3a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 17 Sep 2013 09:54:02 +0100
Subject: [PATCH] fix opaque variables & threads

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

diff --git a/C/absmi.c b/C/absmi.c
index 5a96cf4fe..d669359ee 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -2428,6 +2428,7 @@ Yap_absmi(int inp)
 		  goto failloop;	
 		} else if (*pt1 == (CELL)FunctorBigInt) {
 		  Yap_CleanOpaqueVariable(pt1);
+		  goto failloop;
 		}	       	  
 	      }  
 #ifdef FROZEN_STACKS  /* TRAIL */