From e09b7fa8ad99dade0be1f137e7841ebf1a2b5228 Mon Sep 17 00:00:00 2001 From: vsc Date: Mon, 16 Sep 2002 23:25:09 +0000 Subject: [PATCH] YAP_Deref should be in C-interface. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@592 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- C/c_interface.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/C/c_interface.c b/C/c_interface.c index 223d44300..017fb42d7 100644 --- a/C/c_interface.c +++ b/C/c_interface.c @@ -40,6 +40,7 @@ #endif X_API Term STD_PROTO(YAP_A,(int)); +X_API Term STD_PROTO(YAP_Deref,(Term)); X_API Term STD_PROTO(YAP_MkVarTerm,(void)); X_API Bool STD_PROTO(YAP_IsVarTerm,(Term)); X_API Bool STD_PROTO(YAP_IsNonVarTerm,(Term)); @@ -140,6 +141,12 @@ YAP_A(int i) return(Deref(XREGS[i])); } +X_API Term +YAP_Deref(Term t) +{ + return(Deref(t)); +} + X_API Bool YAP_IsIntTerm(Term t) {