diff --git a/spot/twaalgos/dot.cc b/spot/twaalgos/dot.cc
index a3bebd26d..3ee7174d1 100644
--- a/spot/twaalgos/dot.cc
+++ b/spot/twaalgos/dot.cc
@@ -28,7 +28,6 @@
 #include <spot/twa/twagraph.hh>
 #include <spot/twaalgos/dot.hh>
 #include <spot/twa/bddprint.hh>
-#include <spot/twaalgos/reachiter.hh>
 #include <spot/misc/escape.hh>
 #include <spot/twa/twagraph.hh>
 #include <spot/twa/formula2bdd.hh>
@@ -950,8 +949,7 @@ namespace spot
   } // anonymous namespace
 
   std::ostream&
-  print_dot(std::ostream& os, const const_twa_ptr& g,
-                  const char* options)
+  print_dot(std::ostream& os, const const_twa_ptr& g, const char* options)
   {
     dotty_output d(os, options);
     // Enable state labels for Kripke structure.
diff --git a/spot/twaalgos/hoa.cc b/spot/twaalgos/hoa.cc
index e17da320a..a992644cb 100644
--- a/spot/twaalgos/hoa.cc
+++ b/spot/twaalgos/hoa.cc
@@ -25,7 +25,6 @@
 #include <spot/twa/twa.hh>
 #include <spot/twa/twagraph.hh>
 #include <spot/twaalgos/hoa.hh>
-#include <spot/twaalgos/reachiter.hh>
 #include <spot/misc/escape.hh>
 #include <spot/misc/bddlt.hh>
 #include <spot/misc/minato.hh>
diff --git a/spot/twaalgos/neverclaim.cc b/spot/twaalgos/neverclaim.cc
index c24fc8948..bd838f436 100644
--- a/spot/twaalgos/neverclaim.cc
+++ b/spot/twaalgos/neverclaim.cc
@@ -26,7 +26,6 @@
 #include <spot/twaalgos/neverclaim.hh>
 #include <spot/twa/bddprint.hh>
 #include <spot/twa/twagraph.hh>
-#include <spot/twaalgos/reachiter.hh>
 #include <spot/tl/print.hh>
 #include <spot/twa/formula2bdd.hh>
 
diff --git a/spot/twaalgos/sccfilter.cc b/spot/twaalgos/sccfilter.cc
index f24b96f7a..0d3823ce9 100644
--- a/spot/twaalgos/sccfilter.cc
+++ b/spot/twaalgos/sccfilter.cc
@@ -19,7 +19,6 @@
 
 #include "config.h"
 #include <spot/twaalgos/sccfilter.hh>
-#include <spot/twaalgos/reachiter.hh>
 #include <spot/twaalgos/sccinfo.hh>
 
 namespace spot
diff --git a/spot/twaalgos/simulation.cc b/spot/twaalgos/simulation.cc
index 3c16e25b6..5a96d8a76 100644
--- a/spot/twaalgos/simulation.cc
+++ b/spot/twaalgos/simulation.cc
@@ -26,7 +26,6 @@
 #include <spot/twaalgos/simulation.hh>
 #include <spot/misc/minato.hh>
 #include <spot/twa/bddprint.hh>
-#include <spot/twaalgos/reachiter.hh>
 #include <spot/twaalgos/sccfilter.hh>
 #include <spot/twaalgos/sepsets.hh>
 #include <spot/twaalgos/isdet.hh>
diff --git a/spot/twaalgos/stripacc.cc b/spot/twaalgos/stripacc.cc
index 1fc7f353c..c85af14dc 100644
--- a/spot/twaalgos/stripacc.cc
+++ b/spot/twaalgos/stripacc.cc
@@ -19,7 +19,6 @@
 
 #include "config.h"
 #include <spot/twaalgos/stripacc.hh>
-#include <spot/twaalgos/reachiter.hh>
 
 namespace spot
 {