From 0a4312f8fe69d3ba1031e3862cb2e357938f85c6 Mon Sep 17 00:00:00 2001 From: Florian Renkin Date: Tue, 24 Mar 2020 19:51:24 +0100 Subject: [PATCH] Adapt ltlsynt to the new version of to_parity * bin/ltlsynt.cc: Use colorize_parity_here() but remove reduce_parity_here() already used in the new version of to_parity(). --- bin/ltlsynt.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc index 1e4225d52..c3c0f843d 100644 --- a/bin/ltlsynt.cc +++ b/bin/ltlsynt.cc @@ -356,7 +356,7 @@ namespace std::cerr << "split inputs and outputs done\nautomaton has " << dpa->num_states() << " states\n"; dpa = spot::to_parity(dpa); - spot::reduce_parity_here(dpa, true); + spot::colorize_parity_here(dpa, true); spot::change_parity_here(dpa, spot::parity_kind_max, spot::parity_style_odd); if (verbose)