mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
remove stale return
This commit is contained in:
parent
fd1f5cdd0f
commit
cfe02edda5
|
@ -11378,7 +11378,7 @@ class UserPropagateBase:
|
|||
def add(self, e):
|
||||
assert self.solver
|
||||
assert not self._ctx
|
||||
return Z3_solver_propagate_register(self.ctx_ref(), self.solver.solver, e.ast)
|
||||
Z3_solver_propagate_register(self.ctx_ref(), self.solver.solver, e.ast)
|
||||
|
||||
#
|
||||
# Propagation can only be invoked as during a fixed or final callback.
|
||||
|
|
Loading…
Reference in a new issue