From 236a26ad666f3d413614f58df50fc192820c7ae8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 27 May 2003 13:06:58 +0000
Subject: [PATCH] typo

---
 ChangeLog | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d8b79b898..c98e0c0d4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -117,9 +117,9 @@
 	* src/ltltest/readltl.cc, src/ltltest/equals.cc,
 	src/ltltest/tostring.cc: Adjust usage.
 
-	Check trivial multop equality at build time.  The makes the
-	equal visitor useless, since two equals formulae will now
-	share the same address.
+	Check trivial multop equality at build time.  This makes the equal
+	visitor useless, since two equals formulae will now share the same
+	address.
 
 	* src/ltlast/multop.hh (add_sorted): New function.
 	(paircmp): New comparison functor.