From 4d39af3d7b346ebf3c4216c17a11c52f9da546b4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 26 Aug 2021 09:37:06 -0700
Subject: [PATCH] #5507 missing init

---
 src/api/c++/z3++.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 40edf2fec..d9c3d7011 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3882,8 +3882,9 @@ namespace z3 {
 
 
     public:
-        user_propagator_base(solver* s): s(s), c(nullptr) {}
-        user_propagator_base(Z3_context c): s(nullptr), c(c) {}
+        user_propagator_base(solver* s): s(s), c(nullptr) {
+	        Z3_solver_propagate_init(ctx(), *s, push_eh, pop_eh, fresh_eh);
+	    }
 
         virtual void push() = 0;
         virtual void pop(unsigned num_scopes) = 0;