From 99460df1951caa47a5f267ccbba04b10679239b1 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 8 Mar 2010 09:19:35 +0000
Subject: [PATCH] use IsAttVar

---
 C/c_interface.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/C/c_interface.c b/C/c_interface.c
index 2a462f378..4508f673e 100644
--- a/C/c_interface.c
+++ b/C/c_interface.c
@@ -2940,7 +2940,7 @@ YAP_IsAttVar(Term t)
   t = Deref(t);
   if (!IsVarTerm(t))
     return FALSE;
-  return (VarOfTerm(t) < H0);
+  return IsAttVar(VarOfTerm(t));
 }
 
 X_API Term
@@ -2951,7 +2951,7 @@ YAP_AttsOfVar(Term t)
   t = Deref(t);
   if (!IsVarTerm(t))
     return TermNil;
-  if (VarOfTerm(t) >= H0)
+  if (IsAttVar(VarOfTerm(t)))
     return TermNil;
   attv = (attvar_record *)VarOfTerm(t);
   return attv->Atts;
@@ -2965,7 +2965,7 @@ YAP_TermHash(Term t)
   t = Deref(t);
   if (!IsVarTerm(t))
     return TermNil;
-  if (VarOfTerm(t) >= H0)
+  if (IsAttVar(VarOfTerm(t)))
     return TermNil;
   attv = (attvar_record *)VarOfTerm(t);
   return attv->Atts;