From 8cd69acacafbfe60d0b1c9d11e4310219b39b547 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 23 Jan 2015 11:34:08 +0000 Subject: [PATCH] build fix --- src/api/python/z3printer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3printer.py b/src/api/python/z3printer.py index 242d72c0b..2cc29bd5d 100644 --- a/src/api/python/z3printer.py +++ b/src/api/python/z3printer.py @@ -627,7 +627,7 @@ class Formatter: else: z3._z3_assert(z3.is_fp_value(a), 'expecting FP num ast') r = [] - sgn = c_long(0) + sgn = (ctypes.c_int)(0) sgnb = Z3_fpa_get_numeral_sign(a.ctx_ref(), a.ast, byref(sgn)) sig = Z3_fpa_get_numeral_significand_string(a.ctx_ref(), a.ast) exp = Z3_fpa_get_numeral_exponent_string(a.ctx_ref(), a.ast)