From 84527a8c7736173f1cd82c1730c4e6d9450f01cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 11 Oct 2014 01:38:32 +0100
Subject: [PATCH] fix bb usage of DB.

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

diff --git a/C/dbase.c b/C/dbase.c
index 8f59d4b12..5a30bce19 100644
--- a/C/dbase.c
+++ b/C/dbase.c
@@ -1918,7 +1918,7 @@ new_lu_db_entry(Term t, PredEntry *pe)
 
 #if MULTIPLE_STACKS
   /* we cannot allow sharing between threads (for now) */ 
-  if (!(pe->PredFlags & ThreadLocalPredFlag))
+  if (!pe || !(pe->PredFlags & ThreadLocalPredFlag))
     d_flag |= InQueue;
 #endif
   LOCAL_s_dbg = &dbg;