From 9d0b0df9859918f96d0c413db68200538064f41f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 24 Mar 2013 09:07:51 -0700 Subject: [PATCH] Fix gcc compilation errors Signed-off-by: Leonardo de Moura --- src/muz_qe/hnf.cpp | 6 ++++-- src/util/bit_vector.cpp | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/src/muz_qe/hnf.cpp b/src/muz_qe/hnf.cpp index 88e28699e..47370e0e6 100644 --- a/src/muz_qe/hnf.cpp +++ b/src/muz_qe/hnf.cpp @@ -353,7 +353,8 @@ private: void eliminate_disjunctions(expr_ref_vector& body, proof_ref_vector& proofs) { for (unsigned i = 0; i < body.size(); ++i) { - eliminate_disjunctions(body[i], proofs); + expr_ref_vector::element_ref r = body[i]; + eliminate_disjunctions(r, proofs); } } @@ -378,7 +379,8 @@ private: void eliminate_quantifier_body(expr_ref_vector& body, proof_ref_vector& proofs) { for (unsigned i = 0; i < body.size(); ++i) { - eliminate_quantifier_body(body[i], proofs); + expr_ref_vector::element_ref r = body[i]; + eliminate_quantifier_body(r, proofs); } } diff --git a/src/util/bit_vector.cpp b/src/util/bit_vector.cpp index 2328a5849..e3a2bc331 100644 --- a/src/util/bit_vector.cpp +++ b/src/util/bit_vector.cpp @@ -16,7 +16,7 @@ Author: Revision History: --*/ - +#include #include"bit_vector.h" #include"trace.h"