Commit cc0a903a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgba/tgbaproduct.hh: Do not include statebdd.hh.

parent 35a01937
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> 2011-03-29 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Include <cstddef> in python modules to workaround Swig bug. Include <cstddef> in python modules to workaround Swig bug.
......
...@@ -25,7 +25,6 @@ ...@@ -25,7 +25,6 @@
# define SPOT_TGBA_TGBAPRODUCT_HH # define SPOT_TGBA_TGBAPRODUCT_HH
#include "tgba.hh" #include "tgba.hh"
#include "statebdd.hh"
namespace spot namespace spot
{ {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment