fix compilation for or-parallelism

2011-11-30 15:19:37 +00:00
parent 829f207307
commit 7aa77faf2a
3 changed files with 15 additions and 5 deletions
--- a/include/YapRegs.h
+++ b/include/YapRegs.h
@@ -21,7 +21,7 @@ typedef struct trail_frame {
 #else
 typedef Term *tr_fr_ptr;

-#define TrailTerm(X)   ((X)->term)
+#define TrailTerm(X)   (*(CELL*)(X))
 #endif

 typedef void *choiceptr;