diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 3d0652093..f003dfa37 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -76,7 +76,6 @@ namespace smt {
         m_unsat_proof(m),
         m_unknown("unknown"),
         m_unsat_core(m),
-        m_use_theory_str_overlap_assumption(false),
 #ifdef Z3DEBUG
         m_trail_enabled(true),
 #endif