na

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 22, 2020 · a58b8ce · a58b8ce
1 parent db65381
commit a58b8ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -10636,7 +10636,7 @@ def propagate(self, ids, e):
         _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))