more SWI compatibility changes.

2011-02-11 01:22:07 +00:00
parent 02c791fc3d
commit b475be5692
7 changed files with 22 additions and 17 deletions
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -1514,12 +1514,10 @@ YAP_ExecuteFirst(PredEntry *pe, CPredicate exec_code)
    } else if (val == 1) { /* TRUE */
      cut_succeed();
    } else {
-      /*
-	if ((val & REDO_PTR) == REDO_PTR)
+      if ((val & REDO_PTR) == REDO_PTR)
 	ctx->context = (int *)(val & ~REDO_PTR);
-	else
+      else
 	ctx->context = (int *)((val & ~REDO_PTR)>>FRG_REDO_BITS);
-      */
      return TRUE;
    }
  } else {