From 8c1ba9562a5110edae0cc13bde6b12413feff555 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 19 Nov 2009 08:33:10 +0000
Subject: [PATCH] fix bad test in tabling mode.

---
 H/trim_trail.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/trim_trail.h b/H/trim_trail.h
index 79cd58bb0..779d25afb 100644
--- a/H/trim_trail.h
+++ b/H/trim_trail.h
@@ -23,7 +23,7 @@
 	  insert_into_global_sg_fr_list(sg_fr);
 	} else
 #endif /* LIMIT_TABLING */
-	  if ((ADDR) pt >= Yap_TrailBase) {
+	  if (IN_BETWEEN(Yap_TrailBase, pt, Yap_TrailTop)) {
 	    /* skip, this is a problem because we lose information,
 	       namely active references */
 	    pt1 = (tr_fr_ptr)pt;