From fab414a7ab51a58e219b6ad2c896e3b80670ff07 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 26 Nov 2025 13:55:06 -0800 Subject: [PATCH] use c_bool instead of c_int for sign --- src/api/python/z3/z3printer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3printer.py b/src/api/python/z3/z3printer.py index d7ee17f4a..825f2ae04 100644 --- a/src/api/python/z3/z3printer.py +++ b/src/api/python/z3/z3printer.py @@ -831,7 +831,7 @@ class Formatter: else: _z3_assert(z3.is_fp_value(a), "expecting FP num ast") r = [] - sgn = c_int(0) + sgn = c_bool(0) sgnb = Z3_fpa_get_numeral_sign(a.ctx_ref(), a.ast, byref(sgn)) exp = Z3_fpa_get_numeral_exponent_string(a.ctx_ref(), a.ast, False) sig = Z3_fpa_get_numeral_significand_string(a.ctx_ref(), a.ast)