diff --git a/ChangeLog b/ChangeLog index 62ad78964..5573c57d1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-11-25 Alexandre Duret-Lutz + + * src/tgbaalgos/scc.hh: Typos in the documentation. + 2010-11-24 Alexandre Duret-Lutz * src/tgbaalgos/sccfilter.hh: Fix some typos in the documentation. diff --git a/src/tgbaalgos/scc.hh b/src/tgbaalgos/scc.hh index 458f28f3f..998f6c4bd 100644 --- a/src/tgbaalgos/scc.hh +++ b/src/tgbaalgos/scc.hh @@ -134,7 +134,7 @@ namespace spot /// \pre This should only be called once build_map() has run. bdd acc_set_of(unsigned n) const; - /// \brief Return the set of useful acceptance conditions if SCC \a n. + /// \brief Return the set of useful acceptance conditions of SCC \a n. /// /// Useless acceptances conditions are always implied by other acceptances /// conditions. This returns all the other acceptance conditions.