diff --git a/ChangeLog b/ChangeLog
index b072a5e1f..7c51cdaf7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-03-30  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgba/tgbaproduct.hh: Do not include statebdd.hh.
+
 2011-03-29  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Include <cstddef> in python modules to workaround Swig bug.
diff --git a/src/tgba/tgbaproduct.hh b/src/tgba/tgbaproduct.hh
index 48c9b3d50..232c0041b 100644
--- a/src/tgba/tgbaproduct.hh
+++ b/src/tgba/tgbaproduct.hh
@@ -25,7 +25,6 @@
 # define SPOT_TGBA_TGBAPRODUCT_HH
 
 #include "tgba.hh"
-#include "statebdd.hh"
 
 namespace spot
 {