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

Work around a spurious style.test error.

Browse source 
* src/saba/sabacomplementtgba.hh (spot): Rewrite Bchi as B\"uchi
is the BibTex entry used as comment, because some version of sed
will choke on non-ascii character and cause sanity/style.test to
fail.
This commit is contained in:
Alexandre Duret-Lutz 2010-02-23 17:31:39 +01:00
parent 2183276008
commit 57d5eb3cb3
2 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
ChangeLog
View file

@ -1,3 +1,12 @@
2010-02-23 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Work around a spurious style.test error.
* src/saba/sabacomplementtgba.hh (spot): Rewrite Büchi as B\"uchi
is the BibTex entry used as comment, because some version of sed
will choke on non-ascii character and cause sanity/style.test to
fail.
2010-02-23 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix random_graph() not to generate dead states.

2
src/saba/sabacomplementtgba.hh
View file

@ -40,7 +40,7 @@ namespace spot
/// This algorithm comes from:
/// \verbatim
/// @Article{ gurumurthy.03.lncs,
/// title = {On complementing nondeterministic {Büchi} automata},
/// title = {On complementing nondeterministic {B\"uchi} automata},
/// author = {Gurumurthy, S. and Kupferman, O. and Somenzi, F. and
/// Vardi, M.Y.},
/// journal = {Lecture Notes in Computer Science},