fixes by Nuno to c-interface.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@705 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
61f2133901
commit
2130f41f44
@ -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)
|
||||
|
Reference in New Issue
Block a user