From 5c80b142c5b36a72722108fa241b4b251237fa63 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 22 Oct 2018 07:22:58 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/smt/params/smt_params.cpp | 1 - src/smt/params/smt_params.h | 4 ---- 2 files changed, 5 deletions(-) diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp index 3f800455b..650afda25 100644 --- a/src/smt/params/smt_params.cpp +++ b/src/smt/params/smt_params.cpp @@ -27,7 +27,6 @@ void smt_params::updt_local_params(params_ref const & _p) { m_random_seed = p.random_seed(); m_relevancy_lvl = p.relevancy(); m_ematching = p.ematching(); - m_recfun_max_depth = p.recfun_max_depth(); m_phase_selection = static_cast(p.phase_selection()); m_restart_strategy = static_cast(p.restart_strategy()); m_restart_factor = p.restart_factor(); diff --git a/src/smt/params/smt_params.h b/src/smt/params/smt_params.h index a5923089c..8901697b7 100644 --- a/src/smt/params/smt_params.h +++ b/src/smt/params/smt_params.h @@ -108,9 +108,6 @@ struct smt_params : public preprocessor_params, bool m_new_core2th_eq; bool m_ematching; - // TODO: move into its own file? - unsigned m_recfun_max_depth; - // ----------------------------------- // // Case split strategy @@ -264,7 +261,6 @@ struct smt_params : public preprocessor_params, m_display_features(false), m_new_core2th_eq(true), m_ematching(true), - m_recfun_max_depth(50), m_case_split_strategy(CS_ACTIVITY_DELAY_NEW), m_rel_case_split_order(0), m_lookahead_diseq(false),