From f94152c857deae303e0daac1ee36e172b48fe1cf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 15 Sep 2015 10:54:01 +0200 Subject: [PATCH] fix build warnings Signed-off-by: Nikolaj Bjorner --- src/muz/base/dl_rule_set.cpp | 4 ++-- src/sat/sat_solver/inc_sat_solver.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/muz/base/dl_rule_set.cpp b/src/muz/base/dl_rule_set.cpp index 7d02bfdd6..4f558a535 100644 --- a/src/muz/base/dl_rule_set.cpp +++ b/src/muz/base/dl_rule_set.cpp @@ -455,8 +455,8 @@ namespace datalog { for (; it != end; it++) { rule * r = *it; - app * head = r->get_head(); - func_decl * head_decl = head->get_decl(); + // app * head = r->get_head(); + // func_decl * head_decl = head->get_decl(); // unsigned head_strat = get_predicate_strat(head_decl); unsigned n = r->get_tail_size(); for (unsigned i = 0; i < n; i++) { diff --git a/src/sat/sat_solver/inc_sat_solver.cpp b/src/sat/sat_solver/inc_sat_solver.cpp index a0eb5a7e2..25a02c098 100644 --- a/src/sat/sat_solver/inc_sat_solver.cpp +++ b/src/sat/sat_solver/inc_sat_solver.cpp @@ -69,8 +69,8 @@ public: m_asmsf(m), m_fmls_head(0), m_core(m), - m_bb_rewriter(m, p), m_map(m), + m_bb_rewriter(m, p), m_num_scopes(0), m_dep_core(m) { m_params.set_bool("elim_vars", false);