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

fix eof, truncated by last commit

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-01-04 13:20:50 +00:00
parent b054139e6d
commit e9beca0d56
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/emptiness_stats.hh
View file

@ -142,4 +142,4 @@ namespace spot
/// @}
}
#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_
#endif // SPOT_TGBAALGOS_EMPTINESS_STATS_HH