From 6a3e422c11f8606157401dbebe2c5d067ec400fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Sat, 30 Apr 2011 01:08:48 +0100
Subject: [PATCH] timestamps are stored as terms! (fix also uninportant  bug).

---
 C/index.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/C/index.c b/C/index.c
index eedfc0d02..cbfac4ff9 100644
--- a/C/index.c
+++ b/C/index.c
@@ -6864,8 +6864,8 @@ Yap_FollowIndexingCode(PredEntry *ap, yamop *ipc, Term Terms[3], yamop *ap_pc, y
 	  break;
 	}
       }
-      update_clause_choice_point(ipc->u.OtILl.n,ap_pc PASS_REGS);
-      return ipc->u.OtILl.d;
+      update_clause_choice_point(ipc->u.OtaLl.n,ap_pc PASS_REGS);
+      return ipc->u.OtaLl.d;
 #if TABLING
     case _table_try_single:
       return (LogUpdClause *)ClauseCodeToStaticClause(ipc);
@@ -6874,7 +6874,7 @@ Yap_FollowIndexingCode(PredEntry *ap, yamop *ipc, Term Terms[3], yamop *ap_pc, y
     case _count_trust_logical:
     case _profiled_trust_logical:
       {
-	UInt timestamp = ((CELL *)(B+1))[5];
+	UInt timestamp = IntegerOfTerm(((CELL *)(B+1))[5]);
 	LogUpdIndex *cl = ipc->u.OtILl.block;
 	LogUpdClause *newpc;