From 6f29141174939d1d3fd8fa38bc9f838df844bb86 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 28 Apr 2012 22:56:44 +0200
Subject: [PATCH] Remove useless include.

* src/misc/acccompl.cc: Do not include tgbaexplicit.hh.
---
 src/misc/acccompl.cc | 2 --
 1 file changed, 2 deletions(-)

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