From e093e3efbc42bfc5c3d2a07b0c4ebd2206fa763a Mon Sep 17 00:00:00 2001
From: Dino <118768649+dinoruic@users.noreply.github.com>
Date: Tue, 16 Dec 2025 14:25:50 -0800
Subject: [PATCH] Add explicit `#include <iterator>` to avoid transitive
 dependency

Adding explicit `#include <iterator>` to avoid the transitive dependency on `<iterator>`
---
 src/aig/gia/giaDecGraph.cpp | 1 +
 1 file changed, 1 insertion(+)

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