From 6400ec852bce10ddaad44aa727028902483685eb Mon Sep 17 00:00:00 2001
From: Thibaud Michaud <michau_n@epita.fr>
Date: Mon, 17 Nov 2014 12:04:45 +0100
Subject: [PATCH] Add documentation for is_stutter_invariant.

* src/tgbaalgos/stutter_invariance.hh: Add documentation.
---
 src/tgbaalgos/stutter_invariance.hh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/tgbaalgos/stutter_invariance.hh b/src/tgbaalgos/stutter_invariance.hh
index 24f3431e5..2edbcfff3 100644
--- a/src/tgbaalgos/stutter_invariance.hh
+++ b/src/tgbaalgos/stutter_invariance.hh
@@ -24,7 +24,8 @@
 
 namespace spot
 {
-  // TODO doc
+  /// \ingroup ltl_misc
+  /// \brief Check if a formula has the stutter invariance property.
   SPOT_API bool
   is_stutter_invariant(const ltl::formula* f);