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

* src/tgba/tgbaunion.hh: Remove one useless include.

parent 3a8e1cdc
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/.
......
// 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
{
......
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