diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 2837d6a36..659e4c4a4 100644
--- 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);