fix bb usage of DB.

This commit is contained in:
Vítor Santos Costa 2014-10-11 01:38:32 +01:00
parent 5bf44d2378
commit 84527a8c77

View File

@ -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;