From 5b37c15742a3a0029e9a9ecc6e8e90f01c88b456 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 29 Nov 2014 08:08:20 +0000
Subject: [PATCH] cur_pred was overeager

---
 C/stdpreds.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/C/stdpreds.c b/C/stdpreds.c
index 2027c0fac..2950da7b5 100644
--- a/C/stdpreds.c
+++ b/C/stdpreds.c
@@ -807,7 +807,7 @@ static Int cont_current_predicate(USES_REGS1) {
         break;
       }
     }
-    if (!pp) {
+    if (!pp && p) {
       // try using outer loop
       for (; p; p = p->NextOfPE) {
         if (p->KindOfPE == PEProp) {
@@ -823,13 +823,12 @@ static Int cont_current_predicate(USES_REGS1) {
             if (q->KindOfPE == PEProp) {
               pp = RepPredProp(q);
               q = q->NextOfPE;
-              if (!q)
-                p = p->NextOfPE;
-              if (!p)
+              if (!q && !p->NextOfPE)
                 is_det = true;
               break;
             }
           }
+          break;
         }
       }
     }