From 2cc3e3745e0aaa0ea8875625b94954f0e65b716f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 2 Jan 2013 21:14:22 -0800 Subject: [PATCH] Fix gcc compilation error Signed-off-by: Leonardo de Moura --- src/muz_qe/proof_utils.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz_qe/proof_utils.cpp b/src/muz_qe/proof_utils.cpp index e699ee356..afa4604f4 100644 --- a/src/muz_qe/proof_utils.cpp +++ b/src/muz_qe/proof_utils.cpp @@ -252,7 +252,7 @@ public: bool found = false; for (unsigned i = 1; !found && i < parents.size(); ++i) { if (m.is_complement(clause, m.get_fact(parents[i].get()))) { - parents[1] = parents[i]; + parents.set(1, parents.get(i)); parents.resize(2); result = m.mk_unit_resolution(parents.size(), parents.c_ptr()); m_refs.push_back(result);