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
parent 7e2f091839
commit 7c6b35313a
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

@ -416,7 +416,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);
}