From cd8090d66cbaf594c0b04a4f3f91e7c933942cd0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 30 Jun 2003 15:40:02 +0000
Subject: [PATCH] typo

---
 doc/mainpage.dox | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/mainpage.dox b/doc/mainpage.dox
index a7398711e..0173de83d 100644
--- a/doc/mainpage.dox
+++ b/doc/mainpage.dox
@@ -9,7 +9,7 @@
 ///                         spot::ltl::formula.
 /// \li spot::tgba          Base class for Transition-based
 ///                         Generalized Büchi Automaton.
-/// \li spot::ltl_to_tgba   Convert an spot::ltl::formula into a
+/// \li spot::ltl_to_tgba   Convert a spot::ltl::formula into a
 ///                         spot::tgba.