From 35c1cb6338634fbd3430256c650652f71ed947df Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 4 May 2009 18:11:43 -0500
Subject: [PATCH] put future environment when waking up goals before failure.

---
 C/absmi.c | 2 ++
 1 file changed, 2 insertions(+)

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 */