From 28dc71c75e8e95ae571197c0f1ea331c0bb5f9dc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 26 Nov 2025 14:40:11 -0800 Subject: [PATCH] fix second byref to bool --- src/api/python/z3/z3printer.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3/z3printer.py b/src/api/python/z3/z3printer.py index 825f2ae04..29d3e0db1 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_bool(0) + sgn = ctypes.c_bool() 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) @@ -861,7 +861,7 @@ class Formatter: else: _z3_assert(z3.is_fp_value(a), "expecting FP num ast") r = [] - sgn = (ctypes.c_int)(0) + sgn = ctypes.c_bool() 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)