From 9f41e397d55853377726eabe0fb998cd5a95e184 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 24 Jan 2010 11:53:35 +0100
Subject: [PATCH] * README: Typo.

---
 ChangeLog | 4 ++++
 README    | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index dae613eb2..da9c95489 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* README: Typo.
+
 2010-01-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/sanity/Makefile.am (EXTRA_DIST): Distribute readme.test.
diff --git a/README b/README
index d9ce9e799..e7eb4eb88 100644
--- a/README
+++ b/README
@@ -120,7 +120,7 @@ bench/            Benchmarks for ...
    emptchk/       ... emptiness-check algorithms,
    gspn-ssp/      ... various symmetry-based methods with GreatSPN,
    ltl2tgba/      ... LTL-to-Büchi translation algorithms,
-   ltlcouter/     ... translation of a class of LTL formulae,
+   ltlcounter/    ... translation of a class of LTL formulae,
    scc-stats/     ... SCC statistics after translation of LTL formulae,
    split-product/ ... parallelizing gain after splitting LTL automata.
 wrap/	          Wrappers for other languages.