From 65fbef4133689bee85583c1cccf0585e54f5d19b Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Fri, 10 May 2013 12:16:24 -0700
Subject: [PATCH] fix for compiler weirdness

---
 src/duality/duality_wrapper.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/duality/duality_wrapper.cpp b/src/duality/duality_wrapper.cpp
index fd07173d9..bed347ef4 100644
--- a/src/duality/duality_wrapper.cpp
+++ b/src/duality/duality_wrapper.cpp
@@ -450,7 +450,7 @@ expr context::make_quant(decl_kind op, const std::vector<sort> &_sorts, const st
     ptr_vector< ::ast>_assumptions(size);
     for(int i = 0; i < size; i++)
       _assumptions[i] = linear_assumptions[i];
-    ::vector<int> _parents(parents.size());
+    ::vector<int> _parents; _parents.resize(parents.size());
     for(unsigned i = 0; i < parents.size(); i++)
       _parents[i] = parents[i];
     ptr_vector< ::ast> _theory(theory.size());