This commit is contained in:
Vítor Santos Costa
2015-10-08 02:13:20 +01:00
parent d1c4db3c4b
commit 4e60e9b0f9
3 changed files with 4 additions and 4 deletions

View File

@@ -78,7 +78,7 @@ extern void YAP_UserCPredicateWithArgs(const char *, YAP_UserCPred, YAP_Arity, Y
arity, int extra) */
extern void YAP_UserBackCPredicate(const char *, YAP_UserCPred, YAP_UserCPred, YAP_Arity, unsigned int);
extern Term Yap_StringToTerm(const char *s, size_t len, encoding_t enc, int prio, Term *bindings_p);
extern Term Yap_StringToTerm(const char *s, size_t len, encoding_t *encp, int prio, Term *bindings_p);
}