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;