From fde9a303c4af3b1274b1846e40465b2ac5563278 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 29 Jul 2020 14:43:55 +0200 Subject: [PATCH] to_parity: minor fixes * spot/twaalgos/toparity.cc: Do not call prpagate_marks_here twice if the automaton was not degeneralized. * spot/twaalgos/toparity.hh: Typo in comment. --- spot/twaalgos/toparity.cc | 3 ++- spot/twaalgos/toparity.hh | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/toparity.cc b/spot/twaalgos/toparity.cc index 31d7b190b..0b46e6224 100644 --- a/spot/twaalgos/toparity.cc +++ b/spot/twaalgos/toparity.cc @@ -1583,7 +1583,8 @@ run() if (options.propagate_col) { propagate_marks_here(sub_automaton); - propagate_marks_here(deg); + if (deg != sub_automaton) + propagate_marks_here(deg); } std::map state2car_sub, state2car_deg; diff --git a/spot/twaalgos/toparity.hh b/spot/twaalgos/toparity.hh index 3c935f095..7d2701581 100644 --- a/spot/twaalgos/toparity.hh +++ b/spot/twaalgos/toparity.hh @@ -49,7 +49,7 @@ namespace spot /// get a better result if we don't apply partial_degeneralize. bool force_degen = true; /// If \c scc_acc_clean is true, to_parity() will ignore colors - /// no occoring in an SCC while processing this SCC. + /// not occurring in an SCC while processing this SCC. bool acc_clean = true; /// If \c parity_equiv is true, to_parity() will check if there /// exists a permutations of colors such that the acceptance