From bbe027f6a14d90f45c5a52453c6696cce9a4a23c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 30 Aug 2020 15:03:15 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/sat/tactic/goal2sat.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp index 0049193863d..4bde51d6a4c 100644 --- a/src/sat/tactic/goal2sat.cpp +++ b/src/sat/tactic/goal2sat.cpp @@ -93,7 +93,7 @@ struct goal2sat::imp : public sat::sat_internalizer { m_ite_extra = p.get_bool("ite_extra", true); m_max_memory = megabytes_to_bytes(p.get_uint("max_memory", UINT_MAX)); m_xor_solver = p.get_bool("xor_solver", false); - m_euf = false; + m_euf = false; // true; } void throw_op_not_handled(std::string const& s) { @@ -700,7 +700,6 @@ struct goal2sat::imp : public sat::sat_internalizer { } void operator()(goal const & g) { - g.display(std::cout); struct scoped_reset { imp& i; scoped_reset(imp& i) :i(i) {}