From 5bc6d1d4ff4bec429148fb0c451ce193dbd9fbda Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 4 Jan 2011 19:00:23 +0100
Subject: [PATCH] * src/tgba/tgbaunion.hh: Remove one useless include.

---
 ChangeLog             | 4 ++++
 src/tgba/tgbaunion.hh | 3 +--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 4082a7342..783ae5d48 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-01-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgba/tgbaunion.hh: Remove one useless include.
+
 2011-01-04  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* README: Mention bench/wdba/.
diff --git a/src/tgba/tgbaunion.hh b/src/tgba/tgbaunion.hh
index 182be8567..803727883 100644
--- a/src/tgba/tgbaunion.hh
+++ b/src/tgba/tgbaunion.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2009 Laboratoire de Recherche et DĂ©veloppement
+// Copyright (C) 2009, 2011 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -22,7 +22,6 @@
 # define SPOT_TGBA_TGBAUNION_HH
 
 #include "tgba.hh"
-#include "statebdd.hh"
 
 namespace spot
 {