From deba351b8785689a857ac155bd05449368845757 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 28 Jan 2013 11:18:38 +0000
Subject: [PATCH] UDI fixes

---
 H/rheap.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/H/rheap.h b/H/rheap.h
index 3b8058894..7208d51f9 100644
--- a/H/rheap.h
+++ b/H/rheap.h
@@ -821,10 +821,6 @@ RestoreExpandList__( USES_REGS1 )
 static void
 RestoreUdiControlBlocks(void)
 {
-  if (Yap_heap_regs->udi_control_blocks) {
-      Yap_Error(SYSTEM_ERROR, TermNil,
-	    "YAP cannot restore UDI entries!!\n");
-  }
 }
 
 static void