fix #4098

Z3Prover · Apr 26, 2020 · 626d018 · 626d018
1 parent f919380
commit 626d018
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_array_full.cpp b/src/smt/theory_array_full.cpp
@@ -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) {