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

* NEWS: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-12-13 11:17:04 +01:00
parent db02a0b270
commit d67053a2da
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -101,7 +101,7 @@ New in spot 2.7 (2018-12-11)
- acc_cond::is_generalized_rabin() and
acc_cond::is_generalized_streett() did not recognize the cases
were a single generalized pair is used.
where a single generalized pair is used.
- The pair of acc_cond::mark_t returned by
acc_code::used_inf_fin_sets(), and the pair (bool,