diff --git a/C/exec.c b/C/exec.c
index 0d609d26f..066babd02 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -1635,6 +1635,7 @@ JumpToEnv(Term t) {
   /* H = B->cp_h; */
   t = clean_trail(t, dbt, B->cp_a1);
   B->cp_a3 = t;
+  B->cp_tr = TR;
   if (first_func != NULL) {
     B = first_func;
   }