luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fully namespace-qualify std::inserter(); add missing include. 

Signed-off-by: Henner Zeller <hzeller@google.com>
This commit is contained in:
Henner Zeller 2023-05-15 09:14:40 -07:00
parent 3d35624be6
commit ed7de06726
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/aig/gia/giaTransduction.h
View File

@ -29,6 +29,7 @@
#include <set>
#include <algorithm>
#include <cassert>
#include <iterator>
#include "gia.h"
@ -1031,7 +1032,7 @@ public: // Merge/decompose
for(it2++; it2 != vObjs.end(); it2++) {
std::set<int> s2(vvFis[*it2].begin(), vvFis[*it2].end());
std::set<int> s;
std::set_intersection(s1.begin(), s1.end(), s2.begin(), s2.end(), inserter(s, s.begin()));
std::set_intersection(s1.begin(), s1.end(), s2.begin(), s2.end(), std::inserter(s, s.begin()));
if(s.size() > 1) {
if(s == s1) {
if(s == s2) {