From 42d9b577336bd7bd69edd311ac267bb7428e4cea Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Tue, 11 May 2021 12:08:11 +0100 Subject: [PATCH] Fix querying bounded and integer_rounding_function flag values --- 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 ff08ca9d..910d0269 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -126,9 +126,9 @@ Module : Predicate :- % flags. -current_prolog_flag(Flag, false) :- Flag == bounded, !. +current_prolog_flag(Flag, Value) :- Flag == bounded, !, Value == false. current_prolog_flag(bounded, false). -current_prolog_flag(Flag, toward_zero) :- Flag == integer_rounding_function, !. +current_prolog_flag(Flag, Value) :- Flag == integer_rounding_function, !, Value == toward_zero. current_prolog_flag(integer_rounding_function, toward_zero). current_prolog_flag(Flag, Value) :- Flag == double_quotes, !, '$get_double_quotes'(Value). current_prolog_flag(double_quotes, Value) :- '$get_double_quotes'(Value). -- 2.54.0