diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cur_pred was overeager

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-11-29 08:08:20 +00:00
parent 9f28f7e836
commit 5b37c15742
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
C/stdpreds.c
View File

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