fix c++

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 21, 2021 · e0d6e04 · e0d6e04
1 parent 7a60705
commit e0d6e04
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
@@ -3799,6 +3799,7 @@ namespace z3 {
     }
     inline expr re_diff(expr const& a, expr const& b) {
         check_context(a, b);
+        context& ctx = a.ctx();
         Z3_ast r = Z3_mk_re_diff(ctx, a, b);
         ctx.check_error();
         return expr(ctx, r);