droid

2018-03-19 15:41:06 +00:00
parent 31fd3eb344
commit 2e9be3d0d4
30 changed files with 194 additions and 110 deletions
--- a/os/readterm.c
+++ b/os/readterm.c
@@ -1385,9 +1385,8 @@ Term Yap_BufferToTerm(const unsigned char *s, Term opts) {
  return rval;
 }

-X_API Term Yap_BufferToTermWithPrioBindings(const unsigned char *s, size_t len,
-                                            Term opts, int prio,
-                                            Term bindings) {
+X_API Term Yap_BufferToTermWithPrioBindings(const unsigned char *s, Term opts, Term bindings, size_t len,
+                                            int prio) {
  CACHE_REGS
  Term ctl;