From dfdefdf6720cffc382f312bf47d54133e9c41a60 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Oct 2003 14:40:05 +0000
Subject: [PATCH] * src/tgbaalgos/emptinesscheck.hh,
 src/tgbaalgos/emptinesscheck.cc: Remove superfluous includes.

---
 ChangeLog                       |  3 +++
 src/tgbaalgos/emptinesscheck.cc | 12 ------------
 src/tgbaalgos/emptinesscheck.hh |  8 ++------
 3 files changed, 5 insertions(+), 18 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 0112ef4b4..c38502aea 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-10-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/emptinesscheck.hh, src/tgbaalgos/emptinesscheck.cc:
+	Remove superfluous includes.
+
 	* src/tgbaalgos/emptinesscheck.hh (emptiness_check::emptiness_check):
 	New, take the automaton to work on, and store it ...
 	(emptiness_check::aut_): ... in this new attribute.
diff --git a/src/tgbaalgos/emptinesscheck.cc b/src/tgbaalgos/emptinesscheck.cc
index 539d3a722..4964a849c 100644
--- a/src/tgbaalgos/emptinesscheck.cc
+++ b/src/tgbaalgos/emptinesscheck.cc
@@ -1,20 +1,8 @@
 #include "emptinesscheck.hh"
-#include "tgba/tgba.hh"
-#include "tgba/state.hh"
 #include "tgba/bddprint.hh"
-#include "tgba/tgbabddfactory.hh"
-#include "tgba/succiterconcrete.hh"
-#include "tgba/tgbabddconcrete.hh"
-#include "bdd.h"
-#include <map>
-#include <list>
-#include <stack>
 #include <queue>
 #include <stdio.h>
 #include <vector>
-#include <set>
-#include <utility>
-#include <ostream>
 
 namespace spot
 {
diff --git a/src/tgbaalgos/emptinesscheck.hh b/src/tgbaalgos/emptinesscheck.hh
index 231385d66..19ca5abf7 100644
--- a/src/tgbaalgos/emptinesscheck.hh
+++ b/src/tgbaalgos/emptinesscheck.hh
@@ -1,17 +1,13 @@
 #ifndef SPOT_EMPTINESS_CHECK_HH
 # define SPOT_EMPTINESS_CHECK_HH
+
 #include "tgba/tgba.hh"
-#include "tgba/statebdd.hh"
-#include "tgba/tgbabddfactory.hh"
-#include "tgba/succiterconcrete.hh"
-#include "tgba/tgbabddconcrete.hh"
 #include <map>
 #include <stack>
 #include <list>
-#include <vector>
 #include <set>
 #include <utility>
-#include <ostream>
+#include <iostream>
 
 namespace spot
 {