From 808d8a69b45dafec6481f456e0d31895d43716db Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 28 Oct 2012 22:48:46 -0700
Subject: [PATCH] fixed compilation problems
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
src/muz_qe/qe.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/muz_qe/qe.cpp b/src/muz_qe/qe.cpp
index 6bda83d32..e678fbb3e 100644
--- a/src/muz_qe/qe.cpp
+++ b/src/muz_qe/qe.cpp
@@ -761,8 +761,8 @@ namespace qe {
}
else {
for (unsigned j = i+1; j < size(); ++j) {
- m_vars[j-1] = m_vars[j];
- m_defs[j-1] = m_defs[j];
+ m_vars.set(j-1, m_vars.get(j));
+ m_defs.set(j-1, m_defs.get(j));
}
m_vars.pop_back();
m_defs.pop_back();