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