From a58b8ceced87178efaa53262c4c410625e7b2642 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Aug 2020 19:48:03 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 43fed72ef..eb40dff95 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -10636,7 +10636,7 @@ class UserPropagateBase: _ids = (ctypes.c_uint * sz)() for i in range(sz): _ids[i] = ids[i] - Z3_solver_propagate_consequence(self.ctx.ref(), self.cb, sz, _ids, e.ast) + Z3_solver_propagate_consequence(self.ctx.ref(), ctypes.c_void_p(self.cb), sz, _ids, e.ast) def conflict(self, ids): self.propagate(ids, BoolVal(False, self.ctx))