From 35f77be6c7a96530edc497d85bccaf27dbeae6f2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 16 May 2003 07:55:21 +0000
Subject: [PATCH] typo

---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 72cd909d5..f62058cc0 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -19,7 +19,7 @@
 
 2003-05-15  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
-	Implements spot::ltl::destroy() and exercise it.
+	Implement spot::ltl::destroy() and exercise it.
 
 	* src/ltlast/atomic_prop.hh: Declare instance_count().
 	* src/ltlast/binop.hh, src/ltlast/unop.hh, src/ltlast/multop.hh: