From 7cc1d9807999289f1875f9cf86c3c99b71fd9081 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Tue, 20 Sep 2011 09:53:43 +0100
Subject: [PATCH] fix bug with incremental gc setting HZ incorrectly.

---
 C/heapgc.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/C/heapgc.c b/C/heapgc.c
index bc437b076..0dff8c688 100644
--- a/C/heapgc.c
+++ b/C/heapgc.c
@@ -3696,6 +3696,11 @@ compaction_phase(tr_fr_ptr old_TR, CELL *current_env, yamop *curp USES_REGS)
     }
   if (CurrentH0) {
     H0 = CurrentH0;
+#ifdef TABLING
+    /* make sure that we have the correct H_FZ if we're not tabling */
+    if (B_FZ == (choiceptr)LCL0)
+      H_FZ = H0;
+#endif /* TABLING */
   }
 }