From d02c9d23c2b99721f82be05d8013d8cd06cb75ae Mon Sep 17 00:00:00 2001
From: Costa Vitor <vitor@quasar-20.(none)>
Date: Mon, 31 Aug 2009 23:59:34 -0500
Subject: [PATCH] handle cases where test is called with unbound variable.

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

diff --git a/C/compiler.c b/C/compiler.c
index f1e2ee611..c0438667a 100644
--- a/C/compiler.c
+++ b/C/compiler.c
@@ -905,7 +905,7 @@ static void
 c_test(Int Op, Term t1, compiler_struct *cglobs) {
   Term t = Deref(t1);
 
-  if (!IsVarTerm(t)) {
+  if (!IsVarTerm(t) || IsNewVar(t)) {
     Term tn = MkVarTerm();
     c_eq(t, tn, cglobs);
     t = tn;