From ed7de0672661d0a3fd7b556aee26c0ecb5aab7e1 Mon Sep 17 00:00:00 2001
From: Henner Zeller <hzeller@google.com>
Date: Mon, 15 May 2023 09:14:40 -0700
Subject: [PATCH] Fully namespace-qualify std::inserter(); add missing include.

Signed-off-by: Henner Zeller <hzeller@google.com>
---
 src/aig/gia/giaTransduction.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/aig/gia/giaTransduction.h b/src/aig/gia/giaTransduction.h
index 66b21fc6b..6dd081e15 100644
--- a/src/aig/gia/giaTransduction.h
+++ b/src/aig/gia/giaTransduction.h
@@ -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) {