From d9b4f237fe7d1ce5a72093f948439dc20604bc63 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Feb 2019 18:18:19 -0800 Subject: [PATCH] remove opt dependency Signed-off-by: Nikolaj Bjorner --- src/qe/qe_mbi.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/qe/qe_mbi.cpp b/src/qe/qe_mbi.cpp index 177ec44ad..db08bdab9 100644 --- a/src/qe/qe_mbi.cpp +++ b/src/qe/qe_mbi.cpp @@ -38,7 +38,7 @@ Notes: #include "qe/qe_mbi.h" #include "qe/qe_term_graph.h" #include "qe/qe_arith.h" -#include "opt/opt_context.h" +// include "opt/opt_context.h" namespace qe { @@ -339,6 +339,7 @@ namespace qe { } void euf_arith_mbi_plugin::minimize_span(model_ref& mdl, app_ref_vector& avars, app_ref_vector const& proxies) { +#if 0 arith_util a(m); opt::context opt(m); expr_ref_vector fmls(m); @@ -366,6 +367,7 @@ namespace qe { opt.get_model(mdl); model_evaluator mev(*mdl.get()); std::cout << mev(t) << "\n"; +#endif } /**