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

* src/tgbaalgos/scc.hh: Add missing misc/hash.hh inclusion.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2009-03-25 16:36:23 +01:00
parent b1bfdee870
commit 70b6bcf8eb
2 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2009-03-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbaalgos/scc.hh: Add missing misc/hash.hh inclusion.
2009-02-23 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2009-02-23 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgba/tgbaproduct.cc (tgba_succ_iterator_product::first): * src/tgba/tgbaproduct.cc (tgba_succ_iterator_product::first):

3
src/tgbaalgos/scc.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2008 Laboratoire de Recherche et Developpement de // Copyright (C) 2008, 2009 Laboratoire de Recherche et Developpement de
// l'Epita. // l'Epita.
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -25,6 +25,7 @@
#include <stack> #include <stack>
#include "tgba/tgba.hh" #include "tgba/tgba.hh"
#include <iosfwd> #include <iosfwd>
#include "misc/hash.hh"
namespace spot namespace spot
{ {