use new YAP flags

This commit is contained in:
Vítor Santos Costa
2015-06-18 00:18:28 +01:00
parent ff9051349b
commit adb8ff064d
2 changed files with 3 additions and 3 deletions

View File

@@ -139,7 +139,7 @@ eval0(Int fi) {
P = (yamop *)FAILCODE;
RERROR();
#else
if (yap_flags[LANGUAGE_MODE_FLAG] == 1) {/* iso */
if (isoLanguageFlag()) {/* iso */
Yap_ArithError(TYPE_ERROR_EVALUABLE, TermNil, "evaluating infinity");
P = (yamop *)FAILCODE;
RERROR();
@@ -154,7 +154,7 @@ eval0(Int fi) {
Yap_ArithError(TYPE_ERROR_EVALUABLE, TermNil, "evaluating infinity");
RERROR();
#else
if (yap_flags[LANGUAGE_MODE_FLAG] == 1) {/* iso */
if (isoLanguageFlag()) {/* iso */
Yap_ArithError(TYPE_ERROR_EVALUABLE, TermNil, "evaluating not-a-number");
RERROR();
} else {