From f8726e5e977b173e5450e67917c94655586f71d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 17 Dec 2025 15:06:20 -0800
Subject: [PATCH] Fixing a compiler problem.

---
 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 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"