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

* src/tgbaalgos/ndfs_result.hh: Include misc/hash.hh.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2004-12-17 08:33:32 +00:00
parent e7a3ebb16a
commit 0c2c12a80f
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbaalgos/ndfs_result.hh
View file

@ -37,6 +37,7 @@
#include "emptiness.hh"
#include "emptiness_stats.hh"
#include "bfssteps.hh"
#include "misc/hash.hh"
/// FIXME:
/// * Add the necessary calls to pop_notify.