From 006590f32932c3b3c832c8428d5b54f537933f75 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 28 Feb 2019 14:29:20 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/sat/sat_model_converter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_model_converter.cpp b/src/sat/sat_model_converter.cpp index 60b758fec..fb8c48866 100644 --- a/src/sat/sat_model_converter.cpp +++ b/src/sat/sat_model_converter.cpp @@ -221,7 +221,7 @@ namespace sat { void model_converter::add_elim_stack(entry & e) { e.m_elim_stack.push_back(stackv().empty() ? nullptr : alloc(elim_stack, stackv())); - VERIFY(for (auto const& s : stackv()) VERIFY(legal_to_flip(s.second.var()))); + // VERIFY(for (auto const& s : stackv()) VERIFY(legal_to_flip(s.second.var()));); stackv().reset(); }