From 54d981e88fc00b028ab0e0a72caa08acf82b63ef Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Apr 2020 11:25:29 -0700 Subject: [PATCH] fix #3757 Signed-off-by: Nikolaj Bjorner --- src/smt/theory_str.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_str.h b/src/smt/theory_str.h index e210578ed..472c8703a 100644 --- a/src/smt/theory_str.h +++ b/src/smt/theory_str.h @@ -909,7 +909,7 @@ protected: void new_eq_eh(theory_var, theory_var) override; void new_diseq_eh(theory_var, theory_var) override; - theory* mk_fresh(context*) override { return alloc(theory_str, get_manager(), m_params); } + theory* mk_fresh(context* c) override { return alloc(theory_str, c->get_manager(), m_params); } void init(context * ctx) override; void init_search_eh() override; void add_theory_assumptions(expr_ref_vector & assumptions) override;