mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fix for broken windows stl

Browse source
This commit is contained in:
Ken McMillan 2013-12-12 18:35:43 -08:00
parent 2cc8132191
commit cf3ede92ad
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_rpfp.cpp
View file

@ -445,7 +445,7 @@ namespace Duality {
if(i == 0)
common.swap(v);
else {
std::set_intersection(common.begin(),common.end(),v.begin(),v.end(),std::back_inserter(w),comp);
std::set_intersection(common.begin(),common.end(),v.begin(),v.end(),std::inserter(w,w.begin()),comp);
common.swap(w);
}
}