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 */