From 57d5eb3cb380e31b87677a97b427de675c6e6fb5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 23 Feb 2010 17:31:39 +0100 Subject: [PATCH] Work around a spurious style.test error. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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. --- ChangeLog | 9 +++++++++ src/saba/sabacomplementtgba.hh | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 4704e4c93..5e90b8291 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2010-02-23 Alexandre Duret-Lutz + + 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 Fix random_graph() not to generate dead states. diff --git a/src/saba/sabacomplementtgba.hh b/src/saba/sabacomplementtgba.hh index d84755310..9487bb8ce 100644 --- a/src/saba/sabacomplementtgba.hh +++ b/src/saba/sabacomplementtgba.hh @@ -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},