From add296ba377513e2150387e9b7e6d3850a953b8c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 13 Mar 2009 21:57:15 +0000
Subject: [PATCH] fix handling of holds.

---
 H/rheap.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/H/rheap.h b/H/rheap.h
index 1669ecf24..a5945bd77 100644
--- a/H/rheap.h
+++ b/H/rheap.h
@@ -1338,6 +1338,13 @@ RestoreEntries(PropEntry *pp, int int_key)
 	  ve->ValueOfVE = AtomTermAdjust(tv);
       }
       break;
+    case HoldProperty:
+      {
+	HoldEntry *he = (HoldEntry *)pp;
+	he->NextOfPE =
+	  PropAdjust(he->NextOfPE);
+      }
+      break;
     case ArrayProperty:
       {
 	ArrayEntry *ae = (ArrayEntry *)pp;