From f3a80a58c58b7bbe1cb269770c5494d7f53f6d39 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 16 May 2018 14:27:49 +0200
Subject: [PATCH] remove useless reachiter.hh includes

* spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc,
spot/twaalgos/neverclaim.cc, spot/twaalgos/sccfilter.cc,
spot/twaalgos/simulation.cc, spot/twaalgos/stripacc.cc: Here.
---
 spot/twaalgos/dot.cc        | 4 +---
 spot/twaalgos/hoa.cc        | 1 -
 spot/twaalgos/neverclaim.cc | 1 -
 spot/twaalgos/sccfilter.cc  | 1 -
 spot/twaalgos/simulation.cc | 1 -
 spot/twaalgos/stripacc.cc   | 1 -
 6 files changed, 1 insertion(+), 8 deletions(-)

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
 {