From: Mark Thom Date: Tue, 11 May 2021 22:55:36 +0000 (-0600) Subject: Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_f... X-Git-Tag: v0.9.0~72 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0fb8459bc1da888fee7adbc001e5e1d9bc0a8f63;p=scryer-prolog.git Merge pull request #948 from pmoura/fix_bounded_and_integer_rounding_function_flags_for_current_prolog_flag Fix querying bounded and integer_rounding_function flag values --- 0fb8459bc1da888fee7adbc001e5e1d9bc0a8f63