win64 support: encodings

2016-04-10 06:21:17 -07:00
parent 5830eacfec
commit 65f1cb9741
44 changed files with 1846 additions and 1889 deletions
--- a/include/YapInterface.h
+++ b/include/YapInterface.h
@@ -1798,7 +1798,6 @@ extern X_API void *YAP_ExtraSpaceCut(void);

 extern X_API YAP_Bool YAP_Unify(YAP_Term t1, YAP_Term t2);

-/*  void UserCPredicate(const char *name, int *fn(), int arity) */
 extern X_API void YAP_UserCPredicate(const char *, YAP_UserCPred,
                                     YAP_Arity arity);