From c98f0c830797053a1b3619f97c5175f4db753e7b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 13 Dec 2012 14:09:52 -0800 Subject: [PATCH] fixed unused variable warning Signed-off-by: Leonardo de Moura --- src/muz_qe/dl_mk_extract_quantifiers2.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/dl_mk_extract_quantifiers2.cpp b/src/muz_qe/dl_mk_extract_quantifiers2.cpp index 97976a6be..58255d2a1 100644 --- a/src/muz_qe/dl_mk_extract_quantifiers2.cpp +++ b/src/muz_qe/dl_mk_extract_quantifiers2.cpp @@ -332,7 +332,7 @@ namespace datalog { smt::quantifier_manager* qm = ctx.get_quantifier_manager(); qm->get_plugin()->set_instance_plugin(alloc(instance_plugin, *this)); #endif - lbool res = solver.check(); + solver.check(); for (unsigned i = 0; i < m_bindings.size(); ++i) { expr_ref_vector& binding = m_bindings[i];