From 0c4eccd8c75b4bfb04634701e7c39d550e56287e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 21 Jun 2015 13:47:16 +0200
Subject: [PATCH] * src/twaalgos/ltl2tgba_fm.hh: Typo in comment.

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

diff --git a/src/twaalgos/ltl2tgba_fm.hh b/src/twaalgos/ltl2tgba_fm.hh
index 576c73633..a4f4cbabe 100644
--- a/src/twaalgos/ltl2tgba_fm.hh
+++ b/src/twaalgos/ltl2tgba_fm.hh
@@ -136,7 +136,7 @@ namespace spot
         editor	  = {Nir Piterman and Scott A. Smolka},
         publisher = {Springer}
       }
-      \endvarbatim */
+      \endverbatim */
   ///
   /// \return A spot::twa_graph that recognizes the language of \a f.
   SPOT_API twa_graph_ptr