alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

translate: Correct the choice of the automaton with the fewest colors

Browse source 
* spot/twaalgos/translate.cc: here
This commit is contained in:
Florian Renkin 2020-12-16 12:51:40 +01:00 • committed by Alexandre Duret-Lutz
parent 3dfe0dad24
commit b16192ae19
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/translate.cc
View file

@ -406,7 +406,7 @@ namespace spot
if (((PREF_ == Deterministic) && d2_more_det)
|| (s2 < s1)
|| (s2 == s1
&& ((aut2->num_sets() < aut2->num_sets()) || d2_more_det)))
&& ((aut2->num_sets() < aut->num_sets()) || d2_more_det)))
aut = std::move(aut2);
}