From 6bf446dfc24090beccb20574230cbf22d9e660ed Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Jul 2016 14:13:40 -0700 Subject: [PATCH] add tactic to eliminate enumeration sorts in favor of bit-vectors Signed-off-by: Nikolaj Bjorner --- src/tactic/bv/dt2bv_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/bv/dt2bv_tactic.cpp b/src/tactic/bv/dt2bv_tactic.cpp index 022617c6d..5a6c4e5fd 100644 --- a/src/tactic/bv/dt2bv_tactic.cpp +++ b/src/tactic/bv/dt2bv_tactic.cpp @@ -282,7 +282,7 @@ public: for (unsigned i = 0; i < m_bounds.size(); ++i) { g->assert_expr(m_bounds[i].get()); } - mc = concat(m_ext.get(), m_filter.get()); + mc = concat(m_filter.get(), m_ext.get()); report_tactic_progress(":fd-num-translated", m_num_transformed); } g->inc_depth();