From 33431ef9220e02b311ae3bf6f8479037af8ae92e Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Tue, 1 Mar 2016 10:02:24 +0000
Subject: [PATCH] fix build with gcc

---
 src/math/automata/symbolic_automata_def.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/automata/symbolic_automata_def.h b/src/math/automata/symbolic_automata_def.h
index a7b076a2c..50c115d39 100644
--- a/src/math/automata/symbolic_automata_def.h
+++ b/src/math/automata/symbolic_automata_def.h
@@ -157,7 +157,7 @@ typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_minim
             relevant1.insert(p0A_index);
             block& p0A = pblocks[p0A_index];
             block p1;
-            for (iterator it = gamma.begin(); it != gend; ++it) {
+            for (gamma_iterator it = gamma.begin(); it != gend; ++it) {
                 if (p0A.contains(it->m_key)) p1.insert(it->m_key);
             }