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

* src/tgbaalgos/cycles.hh: Add virtual destructor.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-22 01:14:07 +02:00
parent 3c17c418a2
commit 13025d6cc8
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbaalgos/cycles.hh
View file

@ -131,6 +131,7 @@ namespace spot
public:
enumerate_cycles(const scc_map& map);
virtual ~enumerate_cycles() {}
/// \brief Run in SCC scc, and call \a cycle_found() for any new
/// elementary cycle found.