diff --git a/src/smt/params/smt_params.h b/src/smt/params/smt_params.h
index 07ae99242..49487c4dd 100644
--- a/src/smt/params/smt_params.h
+++ b/src/smt/params/smt_params.h
@@ -241,7 +241,6 @@ struct smt_params : public preprocessor_params,
         m_case_split_strategy(CS_ACTIVITY_DELAY_NEW),
         m_rel_case_split_order(0),
         m_lookahead_diseq(false),
-        m_theory_case_split(false),
         m_delay_units(false),
         m_delay_units_threshold(32),
         m_theory_resolve(false),