From e6cab5321af39a557fd1a9df4870d2923abf7ef1 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 29 Apr 2003 13:08:42 +0000
Subject: [PATCH] typo

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

diff --git a/src/ltlenv/defaultenv.hh b/src/ltlenv/defaultenv.hh
index 164caad3b..99963033b 100644
--- a/src/ltlenv/defaultenv.hh
+++ b/src/ltlenv/defaultenv.hh
@@ -10,7 +10,7 @@ namespace spot
 
     /// \brief A laxist environment.
     ///
-    /// The environment recognize all atomic propositions.
+    /// This environment recognizes all atomic propositions.
     ///
     /// This is a singleton.  Use default_environment::instance()
     /// to obtain the instance.