From 45fac6d7b57310eb830ef631923d79c104466e9b Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 12 May 2010 23:48:37 +0100
Subject: [PATCH] fix bug in unify_bigint (obs from Jos de Roo).

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

diff --git a/C/absmi.c b/C/absmi.c
index e745eea2d..c8cd90f73 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -6283,7 +6283,7 @@ Yap_absmi(int inp)
       derefa_body(d0, pt0, ubigint_unk, ubigint_nonvar);
       BEGD(d1);
       d1 = PREG->u.oc.c;
-      PREG = NEXTOP(PREG, oi);
+      PREG = NEXTOP(PREG, oc);
       BIND_GLOBAL(pt0, d1, bind_ubigint);
 #ifdef COROUTINING
       DO_TRAIL(pt0, d1);