From 2c059a1099eb0ee2a1ed9cab9ca08595dcf17fb8 Mon Sep 17 00:00:00 2001 From: Alexandre GBAGUIDI AISSE Date: Tue, 12 Dec 2017 19:00:08 +0100 Subject: [PATCH] sccinfo: Fix bug in states_on_acc_cycle_of_rec() * spot/twaalgos/sccinfo.cc: Here. --- spot/twaalgos/sccinfo.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spot/twaalgos/sccinfo.cc b/spot/twaalgos/sccinfo.cc index ca0354279..0056e8508 100644 --- a/spot/twaalgos/sccinfo.cc +++ b/spot/twaalgos/sccinfo.cc @@ -584,7 +584,7 @@ namespace spot for (unsigned i = 0; i < orig_sts->size(); ++i) (*orig_sts)[i] = old[(*orig_sts)[i]]; - scc_info si_tmp(aut); + scc_info si_tmp(aut, scc_info_options::TRACK_STATES); unsigned scccount_tmp = si_tmp.scc_count(); for (unsigned scc_tmp = 0; scc_tmp < scccount_tmp; ++scc_tmp) si_tmp.states_on_acc_cycle_of_rec(scc_tmp, all_fin, all_inf,