mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
fix #4098
This commit is contained in:
parent
f9193809ea
commit
626d0186c8
|
@ -37,7 +37,7 @@ namespace smt {
|
|||
}
|
||||
|
||||
theory* theory_array_full::mk_fresh(context* new_ctx) {
|
||||
return alloc(theory_array_full, new_ctx->get_manager(), m_params);
|
||||
return alloc(theory_array_full, new_ctx->get_manager(), new_ctx->get_fparams());
|
||||
}
|
||||
|
||||
void theory_array_full::add_map(theory_var v, enode* s) {
|
||||
|
|
Loading…
Reference in a new issue