From 3b1ab8cfd9091e95bcbd905e81e029f0186b007e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 1 Feb 2010 21:43:45 +0000
Subject: [PATCH] do not recover space if there is an overflow. (obs from Paulo
 Moura).

---
 C/dbase.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/C/dbase.c b/C/dbase.c
index 383853cec..7ad9669a2 100644
--- a/C/dbase.c
+++ b/C/dbase.c
@@ -4950,7 +4950,8 @@ Term
 Yap_PopTermFromDB(DBTerm *ref)
 {
   Term t = GetDBTerm(ref);
-  ReleaseTermFromDB(ref);
+  if (t != 0L)
+    ReleaseTermFromDB(ref);
   return t;
 }