From ab20585180185afd35041f41de141d396bdcef4f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 10 Apr 2016 18:05:46 +0200
Subject: [PATCH] * spot/graph/graph.hh: Typo in comment.

---
 spot/graph/graph.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/graph/graph.hh b/spot/graph/graph.hh
index a11f5cc40..ba2ee41e2 100644
--- a/spot/graph/graph.hh
+++ b/spot/graph/graph.hh
@@ -1025,7 +1025,7 @@ namespace spot
     ///
     /// \param newst A vector indicating how each state should be renumbered.
     /// Use -1U to erase a state.
-    /// \param the number of states used (after renumbering)
+    /// \param used_states the number of states used (after renumbering)
     void defrag_states(std::vector<unsigned>&& newst, unsigned used_states)
     {
       assert(newst.size() == states_.size());