From 15cb2d7dbad86ce0411c902278ba8c57bb66474e Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Tue, 2 May 2017 14:08:48 -0400
Subject: [PATCH] cleanup

---
 src/smt/params/smt_params.h | 1 -
 1 file changed, 1 deletion(-)

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),