diff --git a/C/exec.c b/C/exec.c index ca5c640b5..062e08a9d 100644 --- a/C/exec.c +++ b/C/exec.c @@ -1541,7 +1541,7 @@ JumpToEnv(Term t) { B->cp_env = (CELL *)env[E_E]; B->cp_ap = NEXTOP(PredHandleThrow->CodeOfPred,l); /* can recover Heap thanks to copy term :-( */ - /* B->cp_h = H; */ + B->cp_h = H; /* I could backtrack here, but it is easier to leave the unwinding to the emulator */ B->cp_a3 = t;