From e8b19c99c174d7dd404d4c4ee213a5e0ca518c42 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Fri, 8 Jun 2001 20:23:38 +0000
Subject: [PATCH] Partial update of tabling/SBA code to new timestamp

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@73 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/mavar.c | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/C/mavar.c b/C/mavar.c
index dc0b03ba6..01472156a 100644
--- a/C/mavar.c
+++ b/C/mavar.c
@@ -149,7 +149,7 @@ Term UpdateTimedVar(Term inv, Term new)
 
   if (B->cp_h <= timestmp
 #if defined(SBA) || defined(TABLING)
-      && timestmp <= (CELL)H
+      && timestmp <= H
 #endif
       ) {
     /* last assignment more recent than last B */
@@ -160,11 +160,6 @@ Term UpdateTimedVar(Term inv, Term new)
     else
 #endif
       tv->value = new;
-#if defined(SBA) || defined(TABLING)
-    if (Unsigned((Int)(tv)-(Int)(HBREG)) >
-      Unsigned(BBREG)-(Int)(HBREG))
-    TrailVal(timestmp-1) = new;
-#endif    
   } else {
     Term nclock = (Term)H;
     MaBind(&(tv->value), new);