From 7f5da32c08493c6e84cc5cbfc071b0fe933ef206 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?=
 <vsc@xato.(none)>
Date: Wed, 25 Nov 2009 09:47:38 +0000
Subject: [PATCH] fix trail when you do a jumpenv (Ulrich Neumerkel #152)

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

diff --git a/C/exec.c b/C/exec.c
index 066babd02..89ea9d0b3 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -1533,6 +1533,7 @@ clean_trail(Term t, DBTerm *dbt, Term t0)
 	  if (suspended_on_current_execution(val, t0)) {
 	    RESET_VARIABLE(&TrailTerm(pt1));
 	  } else {
+	    TR = pt1+1;
 	    t = get_term(dbt, t);
 	    Bind(pt, t);
 	    Yap_WakeUp(pt);
@@ -1561,6 +1562,7 @@ clean_trail(Term t, DBTerm *dbt, Term t0)
 #endif /* FROZEN_STACKS */
     }
   }
+  TR = pt1+1;
   t = get_term(dbt, t);
   return t;
 }