From c2f84c9e285e40c0178c215d5f7bb4d66e2979e2 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 13 May 2010 00:04:56 +0100
Subject: [PATCH] fix unify_dbterm.

---
 C/absmi.c        | 2 +-
 changes-6.0.html | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/C/absmi.c b/C/absmi.c
index d9ca09b56..d74874607 100755
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -6360,7 +6360,7 @@ Yap_absmi(int inp)
 
       derefa_body(d0, pt0, udbterm_unk, udbterm_nonvar);
       BEGD(d1);
-      d1 = AbsAppl(PREG->u.oc.i);
+      d1 = PREG->u.oc.c;
       PREG = NEXTOP(PREG, oc);
       BIND_GLOBAL(pt0, d1, bind_udbterm);
 #ifdef COROUTINING
diff --git a/changes-6.0.html b/changes-6.0.html
index bf50c5797..32736b02d 100644
--- a/changes-6.0.html
+++ b/changes-6.0.html
@@ -17,7 +17,9 @@
 
 <h2>Yap-6.0.6:</h2>
 <ul>
-<li> .</li>
+<li> FIXED: similar problem in unify_dbterm.</li>
+<li> FIXED: bug in implementation of unify_bigint instruction (obs
+  from Jos de Roo).</li>
 </ul>
 
 <h2>Yap-6.0.5:</h2>