diff --git a/src/aig/gia/giaDecGraph.cpp b/src/aig/gia/giaDecGraph.cpp
index 0efbe7bf8..f467d4cdc 100644
--- 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"