From 302095ff9e02018f17f9952eaa2a7dd12b076f1e Mon Sep 17 00:00:00 2001
From: Alexandre GBAGUIDI AISSE <gbagui_a@epita.fr>
Date: Fri, 12 May 2017 22:48:11 +0200
Subject: [PATCH] typos

* spot/twaalgos/alternation.hh: Typos.
* spot/twa/twa.hh: Typos.
---
 spot/twa/twa.hh              | 6 +++---
 spot/twaalgos/alternation.hh | 4 +++-
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/spot/twa/twa.hh b/spot/twa/twa.hh
index f1a492666..273d5f793 100644
--- a/spot/twa/twa.hh
+++ b/spot/twa/twa.hh
@@ -947,7 +947,7 @@ namespace spot
 
     /// \brief Set generalized Büchi acceptance
     ///
-    /// \param num the number of acceptance sets to used
+    /// \param num the number of acceptance sets to use
     ///
     /// The acceptance formula of the form
     /// \code
@@ -987,8 +987,8 @@ namespace spot
     /// acceptance.  The returned mark \c {0} can be used to tag
     /// accepting transition.
     ///
-    /// Note that this does not make the automaton as using
-    /// state-based acceptance.  If you want to create a Büchi
+    /// Note that this does not mark the automaton as using
+    /// state-based acceptance. If you want to create a Büchi
     /// automaton with state-based acceptance, call
     /// \code
     /// prop_state_acc(true)
diff --git a/spot/twaalgos/alternation.hh b/spot/twaalgos/alternation.hh
index f4ba737fd..40eb5c6e1 100644
--- a/spot/twaalgos/alternation.hh
+++ b/spot/twaalgos/alternation.hh
@@ -27,7 +27,7 @@ namespace spot
   /// \brief Helper class combine outgoing edges in alternating
   /// automata
   ///
-  /// The idea is that you can the operator() on some state to get an
+  /// The idea is that you can call the operator() on some state to get an
   /// BDD representation of its outgoing edges (labels and
   /// destinations, but not acceptance marks).  The BDD representation
   /// of different states can combined using & or | to build a new
@@ -65,6 +65,7 @@ namespace spot
   /// Acceptance marks are dropped.
   ///
   /// The results is very likely to be alternating.
+  /// @}
   template<class I>
   SPOT_API
   unsigned states_and(const twa_graph_ptr& aut, I begin, I end)
@@ -97,6 +98,7 @@ namespace spot
   /// acceptance is only used in presence of size-1 rejecting-SCCs.)
   ///
   /// \param named_states name each state for easier debugging
+  /// @}
   SPOT_API
   twa_graph_ptr remove_alternation(const const_twa_graph_ptr& aut,
                                    bool named_states = false);