diff --git a/H/absmi.h b/H/absmi.h
index a9cb8ba99..3a1bbb1a9 100644
--- a/H/absmi.h
+++ b/H/absmi.h
@@ -1375,7 +1375,7 @@ loop:
 	    return (FALSE);
 #ifdef USE_GMP
 	  case (CELL)FunctorBigInt:
-	    if (IsBigIntTerm(d1) && mpz_cmp((MP_INT *)(ap2+2),Yap_BigIntOfTerm(d1)) == 0) continue;
+	    if (IsBigIntTerm(d1) && mpz_cmp(Yap_BigIntOfTerm(d0),Yap_BigIntOfTerm(d1)) == 0) continue;
 	    UNWIND_CUNIF();
 	    return (FALSE);
 #endif /* USE_GMP */