From 43d932301dc266f3500b5d20325728b4ed6caefa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 23 Aug 2020 10:45:31 -0700
Subject: [PATCH] apply operator

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/c++/z3++.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 4d51c5615..1fdae1cd5 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -3608,7 +3608,7 @@ namespace z3 {
         Z3_solver_callback cb { nullptr };
 
         Z3_context ctx() {
-            return c ? c : s->ctx();
+            return c ? c : (Z3_context)s->ctx();
         }
 
         struct scoped_cb {