* src/tgbaalgos/sccfilter.hh: Fix some typos in the documentation.

ChangeLog

@@ -1,3 +1,7 @@
+2010-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbaalgos/sccfilter.hh: Fix some typos in the documentation.
+
 2010-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Suggest using bddtrue and bddfalse instead of bdd_true() and

src/tgbaalgos/sccfilter.hh

@@ -29,23 +29,23 @@ namespace spot
   /// \brief Prune unaccepting SCCs and remove superfluous acceptance
   /// conditions.
   ///
-  /// This functions will explore the SCCs of the automaton and remove
+  /// This function will explore the SCCs of the automaton and remove
-  /// dead SCCs (unaccepting, and with no exit path leading to an
+  /// dead SCCs (i.e. SCC that are not accepting, and those with no
-  /// accepting SCC).
+  /// exit path leading to an accepting SCC).
   ///
   /// Additionally, this will try to remove useless acceptance
   /// conditions.  This operation may diminish the number of
-  /// acceptance condition of the automaton, for instance when two
+  /// acceptance condition of the automaton (for instance when two
-  /// acceptance conditions are always used together we only keep one
+  /// acceptance conditions are always used together we only keep one)
-  /// (but it will never remove all acceptance conditions, even if it
+  /// but it will never remove all acceptance conditions, even if it
-  /// would be OK to have zero).
+  /// would be OK to have zero.
   ///
   /// Acceptance conditions on transitions going to non-accepting SCC
   /// are all removed.  Acceptance conditions going to an accepting
   /// SCC and coming from another SCC are only removed if \a
   /// remove_all_useless is set.  The default value of \a
   /// remove_all_useless is \c false because some algorithms (like the
-  /// degeneralization) will work better if transition going to an
+  /// degeneralization) will work better if transitions going to an
   /// accepting SCC are accepting.
   tgba* scc_filter(const tgba* aut, bool remove_all_useless = false);