From 268ad4ab7393f865ef7ed712b2d27d5c609f87c9 Mon Sep 17 00:00:00 2001 From: vsc Date: Thu, 18 Oct 2007 09:13:50 +0000 Subject: [PATCH] nb_getval of unbound stuff can succeed, just ask CHR. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1964 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- C/globals.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/C/globals.c b/C/globals.c index 3320e6731..54bbe98af 100644 --- a/C/globals.c +++ b/C/globals.c @@ -1212,8 +1212,9 @@ p_nb_getval(void) READ_LOCK(ge->GRWLock); to = ge->global; if (IsVarTerm(to) && IsUnboundVar(VarOfTerm(to))) { - READ_UNLOCK(ge->GRWLock); - return FALSE; + Term t = MkVarTerm(); + Bind(VarOfTerm(to), t); + to = t; } READ_UNLOCK(ge->GRWLock); return Yap_unify(ARG2, to);