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

* src/tgba/tgbagraph.hh: Remove orphaned prototype.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-03-18 16:10:05 +01:00
parent 316401c5c3
commit 231b3e1809
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgba/tgbagraph.hh
View file

@ -377,8 +377,6 @@ namespace spot
return g_.trans_storage(t);
}
void set_generalized_buchi(bdd all);
unsigned new_state()
{
return g_.new_state();