diff --git a/spot/graph/graph.hh b/spot/graph/graph.hh
index b1d235123..90df64282 100644
--- a/spot/graph/graph.hh
+++ b/spot/graph/graph.hh
@@ -28,7 +28,6 @@
 #include <algorithm>
 #include <map>
 #include <iostream>
-#include <type_traits>
 
 namespace spot
 {
diff --git a/spot/taalgos/tgba2ta.cc b/spot/taalgos/tgba2ta.cc
index 4df1a8ce8..b2d499e54 100644
--- a/spot/taalgos/tgba2ta.cc
+++ b/spot/taalgos/tgba2ta.cc
@@ -29,7 +29,6 @@
 
 #include <spot/twa/formula2bdd.hh>
 #include <cassert>
-#include <iostream>
 #include <spot/twa/bddprint.hh>
 #include <stack>
 #include <spot/taalgos/tgba2ta.hh>
diff --git a/spot/tl/formula.hh b/spot/tl/formula.hh
index 53b0a41d1..876480c37 100644
--- a/spot/tl/formula.hh
+++ b/spot/tl/formula.hh
@@ -55,7 +55,6 @@
 #include <sstream>
 #include <list>
 #include <cstddef>
-#include <initializer_list>
 #include <limits>
 
 namespace spot
diff --git a/spot/twaalgos/dot.cc b/spot/twaalgos/dot.cc
index 3ee7174d1..86465dc18 100644
--- a/spot/twaalgos/dot.cc
+++ b/spot/twaalgos/dot.cc
@@ -29,7 +29,6 @@
 #include <spot/twaalgos/dot.hh>
 #include <spot/twa/bddprint.hh>
 #include <spot/misc/escape.hh>
-#include <spot/twa/twagraph.hh>
 #include <spot/twa/formula2bdd.hh>
 #include <spot/twaalgos/sccinfo.hh>
 #include <spot/kripke/fairkripke.hh>
diff --git a/spot/twaalgos/ltl2tgba_fm.cc b/spot/twaalgos/ltl2tgba_fm.cc
index a3bd4e776..acf67e9e6 100644
--- a/spot/twaalgos/ltl2tgba_fm.cc
+++ b/spot/twaalgos/ltl2tgba_fm.cc
@@ -28,7 +28,6 @@
 #include <spot/tl/print.hh>
 #include <spot/tl/apcollect.hh>
 #include <spot/tl/mark.hh>
-#include <spot/tl/print.hh>
 #include <cassert>
 #include <memory>
 #include <utility>
diff --git a/spot/twaalgos/ndfs_result.hxx b/spot/twaalgos/ndfs_result.hxx
index a0a3c49f0..5bf649768 100644
--- a/spot/twaalgos/ndfs_result.hxx
+++ b/spot/twaalgos/ndfs_result.hxx
@@ -38,8 +38,6 @@
 #include <spot/twaalgos/emptiness.hh>
 #include <spot/twaalgos/emptiness_stats.hh>
 #include <spot/twaalgos/bfssteps.hh>
-#include <spot/misc/hash.hh>
-
 
 namespace spot
 {
diff --git a/spot/twaalgos/powerset.cc b/spot/twaalgos/powerset.cc
index aedf96d76..e2ceb518d 100644
--- a/spot/twaalgos/powerset.cc
+++ b/spot/twaalgos/powerset.cc
@@ -26,13 +26,11 @@
 #include <vector>
 #include <spot/twaalgos/powerset.hh>
 #include <spot/misc/hash.hh>
-#include <spot/twaalgos/powerset.hh>
 #include <spot/twaalgos/sccinfo.hh>
 #include <spot/twaalgos/cycles.hh>
 #include <spot/twaalgos/gtec/gtec.hh>
 #include <spot/twaalgos/product.hh>
 #include <spot/twa/bddprint.hh>
-#include <spot/twaalgos/gtec/gtec.hh>
 #include <spot/twaalgos/sccfilter.hh>
 #include <spot/twaalgos/ltl2tgba_fm.hh>
 #include <spot/twaalgos/dualize.hh>
diff --git a/spot/twaalgos/stutter.cc b/spot/twaalgos/stutter.cc
index 47a09454f..1aab344bd 100644
--- a/spot/twaalgos/stutter.cc
+++ b/spot/twaalgos/stutter.cc
@@ -32,8 +32,6 @@
 #include <spot/twaalgos/remfin.hh>
 #include <spot/twaalgos/postproc.hh>
 #include <spot/twaalgos/sccinfo.hh>
-#include <spot/twaalgos/postproc.hh>
-#include <spot/twaalgos/dualize.hh>
 #include <spot/twa/twaproduct.hh>
 #include <spot/twa/bddprint.hh>
 #include <deque>