From ac48a263c47748c190d957bda3d73dca6173ba02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 16:53:11 +0000
Subject: [PATCH] fix $VAR

---
 os/writeterm.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/os/writeterm.c b/os/writeterm.c
index ae016949b..3b6bdbe89 100644
--- a/os/writeterm.c
+++ b/os/writeterm.c
@@ -755,7 +755,8 @@ dollar_var( USES_REGS1 )
       Yap_Error( INSTANTIATION_ERROR, ARG2 , "");
     }
   }
-  Term tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &ARG1);
+  Term t2 = Yap_unify( MkVarTerm(), ARG1);
+  Term tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &t2);
   return Yap_unify(tv, ARG2);
 }