diff --git a/C/absmi.c b/C/absmi.c index ba0e5e2d9..53c6583ab 100644 --- a/C/absmi.c +++ b/C/absmi.c @@ -2757,6 +2757,8 @@ Yap_absmi(int inp) } if (!(ActiveSignals & YAP_CREEP_SIGNAL)) { SREG = (CELL *)RepPredProp(Yap_GetPredPropByAtom(AtomFail,0)); + /* make sure we have the correct environment for continuation */ + ENV = B->cp_env; goto creep; } /* don't do debugging and friends here */