From f7c1ed82733cc478fbefe9053749b5aa04ed4444 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Aug 2021 10:41:37 -0700 Subject: [PATCH] missing this Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index d9c3d7011..96302eb41 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -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;