From ddda68403fa13d624a4d57776d746d7ffa8d129d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 21 Sep 2021 11:20:14 +0200 Subject: [PATCH] * spot/twa/twagraph.cc: Fixes #478. --- spot/twa/twagraph.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/spot/twa/twagraph.cc b/spot/twa/twagraph.cc index 5748de23c..6bd3f04de 100644 --- a/spot/twa/twagraph.cc +++ b/spot/twa/twagraph.cc @@ -501,14 +501,15 @@ namespace spot }; // Now we have equivalence classes - // and a state can only be in exactly + // and a state can only be in exactly one. // (Otherwise the classes would have fused) // For each equiv class we take the first state as representative - // and redirect all incoming edges to this one + // and redirect all incoming edges to this one. std::vector remap(nb_states, -1U); for (const auto& [_, class_v] : equiv_class_) for (const auto& aclass : class_v) { + (void)_; // please some versions of GCC unsigned rep = *aclass.begin(); for (auto it = ++aclass.begin(); it != aclass.end(); ++it) remap[*it] = rep;