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

@@ -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);