From 626d0186c8c40c2aec1ad0e00f34f8ea8c3e7fa1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 26 Apr 2020 13:17:40 -0700 Subject: [PATCH] fix #4098 --- src/smt/theory_array_full.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_array_full.cpp b/src/smt/theory_array_full.cpp index fc15916b6..85dfa7a7b 100644 --- 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) {