droid

2018-06-25 13:44:09 +01:00
parent 81b165d3dc
commit edc7d2ceb4
20 changed files with 249 additions and 233 deletions
--- a/C/flags.c
+++ b/C/flags.c
@@ -1327,10 +1327,6 @@ static bool setInitialValue(bool bootstrap, flag_func f, const char *s,
      tarr->at = MkIntTerm(atol(YAP_NUMERIC_VERSION));
      return true;
    }
-    if (!strcmp(ss, "YAP_NUMERIC_VERSION")) {
-      tarr->at = MkIntTerm(atol(YAP_NUMERIC_VERSION));
-      return true;
-    }
    Yap_Error(DOMAIN_ERROR_OUT_OF_RANGE, TermNil,
              "~s should be either true (on) or false (off)", s);
    return false;