From cccb6edfddf4e8d83df83f74084cce9cca391b14 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 10 Aug 2014 18:34:40 +0200
Subject: [PATCH] * src/tgbaalgos/ltl2tgba_fm.hh: Fix comment.

---
 src/tgbaalgos/ltl2tgba_fm.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tgbaalgos/ltl2tgba_fm.hh b/src/tgbaalgos/ltl2tgba_fm.hh
index a3d09d195..829429827 100644
--- a/src/tgbaalgos/ltl2tgba_fm.hh
+++ b/src/tgbaalgos/ltl2tgba_fm.hh
@@ -121,7 +121,7 @@ namespace spot
       }
       \endverbatim */
   ///
-  /// \return A spot::tgba_explicit that recognizes the language of \a f.
+  /// \return A spot::tgba_digraph that recognizes the language of \a f.
   SPOT_API tgba_digraph*
   ltl_to_tgba_fm(const ltl::formula* f, bdd_dict* dict,
 		 bool exprop = false, bool symb_merge = true,