From 656e95f06896ead8b83c3c63bfc7d0b9f3944ab6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Mon, 14 Mar 2011 21:03:28 +0000
Subject: [PATCH] fix low level emulation.

---
 packages/PLStream/pl-yap.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/PLStream/pl-yap.h b/packages/PLStream/pl-yap.h
index 5173aa710..44671100b 100644
--- a/packages/PLStream/pl-yap.h
+++ b/packages/PLStream/pl-yap.h
@@ -132,7 +132,7 @@ void PL_license(const char *license, const char *module);
 #define atomLength(atom) YAP_AtomNameLength(atom)
 #define atomBlobType(at) YAP_find_blob_type(at)
 #define argTermP(w,i) ((Word)((YAP_ArgsOfTerm(w)+(i))))
-#define deRef(t)
+#define deRef(t) while (IsVarTerm(*(t)) && !IsUnboundVar(t)) { t = (CELL *)(*(t)); }
 #define canBind(t) FALSE  // VSC: to implement
 #define MODULE_user YAP_ModuleUser()
 #define _PL_predicate(A,B,C,D) PL_predicate(A,B,C)
@@ -140,8 +140,8 @@ void PL_license(const char *license, const char *module);
 #define lookupModule(A) ((Module)PL_new_module(A))
 #define charEscapeWriteOption(A) FALSE  // VSC: to implement
 #define wordToTermRef(A) YAP_InitSlot(*(A))
-#define isTaggedInt(A) YAP_IsIntTerm(A)
-#define valInt(A) YAP_IntOfTerm(A)
+#define isTaggedInt(A) IsIntegerTerm(A)
+#define valInt(A) IntegerOfTerm(A)
 
 extern term_t Yap_CvtTerm(term_t ts);