From 54f04a5751af47c6d7d6f8e9c90a09d8d113bf65 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 10 Apr 2021 16:10:35 -0700
Subject: [PATCH] being deliberate non-null #5156

---
 src/api/c++/z3++.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 91ba0c02a..02849ec3d 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3616,12 +3616,12 @@ namespace z3 {
         }
 
         struct scoped_cb {
-            user_propagator_base* p;
-            scoped_cb(void* _p, Z3_solver_callback cb):p(static_cast<user_propagator_base*>(_p)) {
-                p->cb = cb;
+            user_propagator_base& p;
+            scoped_cb(void* _p, Z3_solver_callback cb):p(*static_cast<user_propagator_base*>(_p)) {
+                p.cb = cb;
             }
             ~scoped_cb() { 
-                p->cb = nullptr; 
+                p.cb = nullptr; 
             }
         };