* src/ltlvisit/basereduc.cc, src/ltlvisit/formlength.cc: Remove

useless includes.

ChangeLog

 2004-05-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlvisit/basereduc.cc, src/ltlvisit/formlength.cc: Remove
+	useless includes.
+
 	* AUTHORS: Update.
 
 	* src/ltlvisit/reducform.hh: Update Doxygen comments for

src/ltlvisit/basereduc.cc

@@ -21,7 +21,6 @@
 
 #include "reducform.hh"
 #include "ltlast/allnodes.hh"
-#include "ltlvisit/clone.hh"
 #include <cassert>
 
 #include "ltlvisit/destroy.hh"

src/ltlvisit/formlength.cc

@@ -21,11 +21,6 @@
 
 #include "reducform.hh"
 #include "ltlast/allnodes.hh"
-#include <cassert>
-
-#include "lunabbrev.hh"
-#include "nenoform.hh"
-#include "ltlvisit/destroy.hh"
 
 namespace spot
 {