From bd720488b473e8e7500bb3bc6e2705fe8d385450 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 23 May 2011 15:08:24 +0200
Subject: [PATCH] * src/ltlast/formula.hh: Typos in comments.

---
 src/ltlast/formula.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh
index b9c2ef179..92ec764c9 100644
--- a/src/ltlast/formula.hh
+++ b/src/ltlast/formula.hh
@@ -140,13 +140,13 @@ namespace spot
 	return is.in_nenoform;
       }
 
-      /// Whether the formula avoid the X operator.
+      /// Whether the formula avoids the X operator.
       bool is_X_free() const
       {
 	return is.X_free;
       }
 
-      /// Whether the formula avoid the F and G operators.
+      /// Whether the formula avoids the F and G operators.
       bool is_sugar_free_ltl() const
       {
 	return is.sugar_free_ltl;