put future environment when waking up goals before failure.
This commit is contained in:
parent
e3293851a7
commit
35c1cb6338
@ -2757,6 +2757,8 @@ Yap_absmi(int inp)
|
|||||||
}
|
}
|
||||||
if (!(ActiveSignals & YAP_CREEP_SIGNAL)) {
|
if (!(ActiveSignals & YAP_CREEP_SIGNAL)) {
|
||||||
SREG = (CELL *)RepPredProp(Yap_GetPredPropByAtom(AtomFail,0));
|
SREG = (CELL *)RepPredProp(Yap_GetPredPropByAtom(AtomFail,0));
|
||||||
|
/* make sure we have the correct environment for continuation */
|
||||||
|
ENV = B->cp_env;
|
||||||
goto creep;
|
goto creep;
|
||||||
}
|
}
|
||||||
/* don't do debugging and friends here */
|
/* don't do debugging and friends here */
|
||||||
|
Reference in New Issue
Block a user