Fixing a compiler problem.

alanminko · alanminko · commit f8726e5e977b · 2025-12-17T15:06:20.000-08:00
diff --git a/src/aig/gia/giaDecGraph.cpp b/src/aig/gia/giaDecGraph.cpp
@@ -38,6 +38,7 @@
 #include <unordered_map>
 #include <algorithm>
 #include <functional>
+#include <iterator>
 
 #include "gia.h"
 #include "misc/vec/vecHash.h"
