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;