mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

capture values not reference

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-11-07 13:43:56 -08:00
parent af2cc460a9
commit f2fcbc7cb7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/api_solver.cpp
View file

@ -875,7 +875,7 @@ extern "C" {
init_solver(c, s); init_solver(c, s);
solver::push_eh_t _push = push_eh; solver::push_eh_t _push = push_eh;
solver::pop_eh_t _pop = pop_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; ast_context_params params;
params.set_foreign_manager(&m); params.set_foreign_manager(&m);
auto* ctx = alloc(api::context, &params, false); auto* ctx = alloc(api::context, &params, false);