From a57c619ed5cce098627af66b3eb1028b247e7cbf Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 22 Jun 2004 22:06:28 +0000
Subject: [PATCH] * src/ltlvisit/lunabbrev.hh: Revert superfluous change from
 2004-05-10.

---
 ChangeLog                 | 5 +++++
 src/ltlvisit/lunabbrev.hh | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c9e21295c..460f1b2fb 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-06-23  Alexandre Duret-Lutz  <adl@gnu.org>
+
+	* src/ltlvisit/lunabbrev.hh: Revert superfluous change from
+	2004-05-10.
+
 2004-06-22  Thomas Martinez  <martinez@src.lip6.fr>
 
 	* src/ltlvisit/reducform.cc, src/tgba/tgbareduc.cc,
diff --git a/src/ltlvisit/lunabbrev.hh b/src/ltlvisit/lunabbrev.hh
index e5c5b5353..882fa6d81 100644
--- a/src/ltlvisit/lunabbrev.hh
+++ b/src/ltlvisit/lunabbrev.hh
@@ -47,7 +47,6 @@ namespace spot
       virtual ~unabbreviate_logic_visitor();
 
       using super::visit;
-      //void visit(unop* uo);
       void visit(binop* bo);
 
       virtual formula* recurse(formula* f);