From 0532f51cc2a86f58818053a47354dcc98aab4321 Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Mon, 7 Mar 2022 00:30:35 +0000 Subject: [PATCH] Fix querying the values of the bounded and max_arity flags --- src/lib/builtins.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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). -- 2.54.0