Proposed fix for #7451 (#7452)

Z3Prover · Nov 13, 2024 · d3009da · d3009da
1 parent c0e748a
commit d3009da
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -11661,7 +11661,7 @@ def user_prop_diseq(ctx, cb, x, y):
     prop.diseq(x, y)
     prop.cb = old_cb
 
-def user_prop_decide(ctx, cb, t, idx, phase):
+def user_prop_decide(ctx, cb, t_ref, idx, phase):
     prop = _prop_closures.get(ctx)
     old_cb = prop.cb
     prop.cb = cb
@@ -11725,6 +11725,7 @@ def __init__(self, s, ctx=None):
         self.final = None
         self.eq = None
         self.diseq = None
+        self.decide = None
         self.created = None
         if ctx:
             self.fresh_ctx = ctx