Merge ../YAPDroid/yap

2018-02-23 14:16:20 +00:00
parent d6aaa8a03e f798372fb1
commit 921b5d497d
14 changed files with 234 additions and 367 deletions
--- a/CXX/yapi.cpp
+++ b/CXX/yapi.cpp
@@ -602,7 +602,7 @@ YAPQuery::YAPQuery(YAPFunctor f, YAPTerm mod, YAPTerm ts[])
    goal = YAPApplTerm(f, ts).term();
    nts = RepAppl(goal) + 1;
    size_t arity = f.arity();
-    for (int i = 0; i < arity; i++)
+    for (arity_t i = 0; i < arity; i++)
      XREGS[i + 1] = nts[i];
  } else {
    goal = MkVarTerm();