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

fix var_in_term

Browse Source
This commit is contained in:
Costa Vitor 2009-09-12 17:17:16 -05:00
parent a1d44f068e
commit 56d37591a5
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
C/utilpreds.c
View File

@ -1830,6 +1830,13 @@ static Int var_in_complex_term(register CELL *pt0,
deref_body(d0, ptd0, var_in_term_unk, var_in_term_nvar); deref_body(d0, ptd0, var_in_term_unk, var_in_term_nvar);
if ((CELL)ptd0 == v) { /* we found it */ if ((CELL)ptd0 == v) { /* we found it */
#ifdef RATIONAL_TREES
while (to_visit > to_visit0) {
to_visit -= 3;
pt0 = to_visit[0];
*pt0 = (CELL)to_visit[2];
}
#endif
clean_tr(TR0); clean_tr(TR0);
return(TRUE); return(TRUE);
} }
@ -1852,6 +1859,13 @@ static Int var_in_complex_term(register CELL *pt0,
#endif #endif
goto loop; goto loop;
} }
#ifdef RATIONAL_TREES
while (to_visit > to_visit0) {
to_visit -= 3;
pt0 = to_visit[0];
*pt0 = (CELL)to_visit[2];
}
#endif
clean_tr(TR0); clean_tr(TR0);
return FALSE; return FALSE;