From 99018935bb37ca8126417e6bb75167f3ab8d7c1c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 31 Jul 2003 18:40:51 +0000
Subject: [PATCH] typos

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

diff --git a/src/ltlast/multop.cc b/src/ltlast/multop.cc
index 6bd6af5c0..e49b72916 100644
--- a/src/ltlast/multop.cc
+++ b/src/ltlast/multop.cc
@@ -112,7 +112,7 @@ namespace spot
     multop::add_sorted(vec* v, formula* f)
     {
       // Keep V sorted.  When adding a new multop, iterate over all
-      // element until we find either an identicalle element, or the
+      // element until we find either an identical element, or the
       // place where the new one should be inserted.
       vec::iterator i;
       for (i = v->begin(); i != v->end(); ++i)
@@ -121,7 +121,7 @@ namespace spot
 	    break;
 	  if (*i == f)
 	    {
-	      // F is arleady a child.  Drop it.
+	      // F is already a child.  Drop it.
 	      destroy(f);
 	      return;
 	    }