mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

fix for compiler weirdness

Browse source
This commit is contained in:
Ken McMillan 2013-05-10 12:16:24 -07:00
parent 477754c386
commit 65fbef4133
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/duality/duality_wrapper.cpp
View file

@ -450,7 +450,7 @@ expr context::make_quant(decl_kind op, const std::vector<sort> &_sorts, const st
ptr_vector< ::ast>_assumptions(size); ptr_vector< ::ast>_assumptions(size);
for(int i = 0; i < size; i++) for(int i = 0; i < size; i++)
_assumptions[i] = linear_assumptions[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++) for(unsigned i = 0; i < parents.size(); i++)
_parents[i] = parents[i]; _parents[i] = parents[i];
ptr_vector< ::ast> _theory(theory.size()); ptr_vector< ::ast> _theory(theory.size());