capture values not reference

Z3Prover · Nov 7, 2021 · f2fcbc7 · f2fcbc7
1 parent af2cc46
commit f2fcbc7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
@@ -875,7 +875,7 @@ extern "C" {
         init_solver(c, s);
         solver::push_eh_t _push = push_eh;
         solver::pop_eh_t _pop = pop_eh;
-        solver::fresh_eh_t _fresh = [&](void * user_ctx, ast_manager& m, solver::context_obj*& _ctx) {
+        solver::fresh_eh_t _fresh = [=](void * user_ctx, ast_manager& m, solver::context_obj*& _ctx) {
             ast_context_params params;
             params.set_foreign_manager(&m);
             auto* ctx = alloc(api::context, &params, false);