alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove useless include.

Browse source 
* src/misc/acccompl.cc: Do not include tgbaexplicit.hh.
This commit is contained in:
Alexandre Duret-Lutz 2012-04-28 22:56:44 +02:00
parent 5eae815a1c
commit 6f29141174
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/misc/acccompl.cc
View file

@ -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