From f7bec7eae989965aed634851d747fdc83dd3c8cc Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 16 Oct 2019 17:24:53 +0200
Subject: [PATCH] * spot/twaalgos/rabin2parity.cc: Minor simplification.

---
 spot/twaalgos/rabin2parity.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/twaalgos/rabin2parity.cc b/spot/twaalgos/rabin2parity.cc
index 2fb31d2ac..30926af69 100644
--- a/spot/twaalgos/rabin2parity.cc
+++ b/spot/twaalgos/rabin2parity.cc
@@ -267,9 +267,9 @@ namespace spot
             >= scc_.states_of(scc_num).size());
 
         // update state2iar
-        for (const auto& scc_state : sub_scc.states_of(bscc))
+        for (unsigned scc_state : sub_scc.states_of(bscc))
           {
-            iar_state iar = num2iar.at(scc_state);
+            iar_state& iar = num2iar.at(scc_state);
             if (state2iar.find(iar.state) == state2iar.end())
               state2iar[iar.state] = iar;
           }