fix waening
This commit is contained in:
parent
66372f256a
commit
f10a329f9f
@ -1973,7 +1973,6 @@ Term Yap_pc_location(yamop *pc, choiceptr b_ptr, CELL *env) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
Term Yap_env_location(yamop *cp, choiceptr b_ptr, CELL *env, Int ignore_first) {
|
Term Yap_env_location(yamop *cp, choiceptr b_ptr, CELL *env, Int ignore_first) {
|
||||||
CACHE_REGS
|
|
||||||
while (true) {
|
while (true) {
|
||||||
if (b_ptr == NULL || env == NULL)
|
if (b_ptr == NULL || env == NULL)
|
||||||
return TermNil;
|
return TermNil;
|
||||||
|
Reference in New Issue
Block a user