From 2130f41f44760b63b98f3c3059d212bf99694af5 Mon Sep 17 00:00:00 2001 From: vsc Date: Tue, 26 Nov 2002 16:52:09 +0000 Subject: [PATCH] fixes by Nuno to c-interface. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@705 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- include/c_interface.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/include/c_interface.h b/include/c_interface.h index 9c9d54e78..2d18ee1ce 100644 --- a/include/c_interface.h +++ b/include/c_interface.h @@ -188,7 +188,7 @@ /* void UserBackCPredicate(char *name, int *init(), int *cont(), int arity, int extra) */ -#define UserBackCPredicate(s,f1,f2,i,i2) YAP_UserBackCPredicate(s,f,i,i2) +#define UserBackCPredicate(s,f1,f2,i,i2) YAP_UserBackCPredicate(s,f1,f2,i,i2) /* void UserCPredicate(char *name, int *fn(), int arity) */ #define UserCPredicateWithArgs(s,f,i1,i2) YAP_UserCPredicateWithArgs(s,f,i1,i2) @@ -197,10 +197,10 @@ #define YapCallProlog(t) YAP_CallProlog(t) /* void cut_fail(void) */ -#define cut_fail() YAP_cutfail() +#define cut_fail() YAP_cut_fail() /* void cut_succeed(void) */ -#define cut_succeed() YAP_cutsucceed() +#define cut_succeed() YAP_cut_succeed() /* void *AllocSpaceFromYap(int) */ #define AllocSpaceFromYap(s) YAP_AllocSpaceFromYap(s)