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;