fix unify in c_interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@596 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
39a825e85f
commit
2c1cb9b4bb
@ -180,8 +180,8 @@
|
|||||||
#define PRESERVED_DATA(ptr, type) (ptr = (type *)YAP_ExtraSpace())
|
#define PRESERVED_DATA(ptr, type) (ptr = (type *)YAP_ExtraSpace())
|
||||||
|
|
||||||
/* YAP_Int unify(YAP_Term a, YAP_Term b) */
|
/* YAP_Int unify(YAP_Term a, YAP_Term b) */
|
||||||
#define unify() YAP_Unify(t, t)
|
#define unify(t1,t2) YAP_Unify(t1, t2)
|
||||||
#define YapUnify() YAP_Unify(t, t)
|
#define YapUnify(t1,t2) YAP_Unify(t1, t2)
|
||||||
|
|
||||||
/* void UserCPredicate(char *name, int *fn(), int arity) */
|
/* void UserCPredicate(char *name, int *fn(), int arity) */
|
||||||
#define UserCPredicate(s,f,i) YAP_UserCPredicate(s,f,i);
|
#define UserCPredicate(s,f,i) YAP_UserCPredicate(s,f,i);
|
||||||
|
Reference in New Issue
Block a user