mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
missing this
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
4d39af3d7b
commit
f7c1ed8273
|
@ -3883,8 +3883,8 @@ namespace z3 {
|
|||
|
||||
public:
|
||||
user_propagator_base(solver* s): s(s), c(nullptr) {
|
||||
Z3_solver_propagate_init(ctx(), *s, push_eh, pop_eh, fresh_eh);
|
||||
}
|
||||
Z3_solver_propagate_init(ctx(), *s, this, push_eh, pop_eh, fresh_eh);
|
||||
}
|
||||
|
||||
virtual void push() = 0;
|
||||
virtual void pop(unsigned num_scopes) = 0;
|
||||
|
|
Loading…
Reference in a new issue