small fixes for CUT_C

2010-01-28 15:42:49 +00:00
parent 995e8f6dc7
commit 139fc6c440
5 changed files with 25 additions and 5 deletions
--- a/C/init.c
+++ b/C/init.c
@@ -806,6 +806,12 @@ Yap_InitCPredBackCut(char *Name, unsigned long int Arity,
 		     CPredicate Cont,CPredicate Cut, UInt flags){
  Yap_InitCPredBack_(Name,Arity,Extra,Start,Cont,Cut,flags);
 }
+#else
+Yap_InitCPredBackCut(char *Name, unsigned long int Arity,
+		     unsigned int Extra, CPredicate Start,
+		     CPredicate Cont,CPredicate Cut, UInt flags){
+  Yap_InitCPredBack(Name,Arity,Extra,Start,Cont,flags);
+}
 #endif /* CUT_C */

 void