From: Paulo Moura Date: Mon, 7 Mar 2022 00:30:35 +0000 (+0000) Subject: Fix querying the values of the bounded and max_arity flags X-Git-Tag: v0.9.1~126^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0532f51cc2a86f58818053a47354dcc98aab4321;p=scryer-prolog.git Fix querying the values of the bounded and max_arity flags --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 7dce699a..75bda053 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -119,9 +119,9 @@ Module : Predicate :- % flags. -current_prolog_flag(Flag, Value) :- Flag == max_arity, !, Value == 1023. +current_prolog_flag(Flag, Value) :- Flag == max_arity, !, Value = 1023. current_prolog_flag(max_arity, 1023). -current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false. +current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value = false. current_prolog_flag(bounded, false). current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero. current_prolog_flag(integer_rounding_function, toward_zero).