diff --git a/src/misc/acccompl.cc b/src/misc/acccompl.cc
index 8110f8a04..4434377b0 100644
--- a/src/misc/acccompl.cc
+++ b/src/misc/acccompl.cc
@@ -20,11 +20,9 @@
 // 02111-1307, USA.
 
 #include "acccompl.hh"
-#include "tgba/tgbaexplicit.hh"
 
 namespace spot
 {
-
   // The algorithm of this method is simple. We explain this in
   // bottom/up.
   // Internally, the bdd is represented like a tree. There is two