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

* src/tgbaalgos/hoaf.hh: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-12-04 18:20:05 +01:00
parent bc9cb1e5bb
commit 2731c9be67
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/hoaf.hh
View file

@ -44,7 +44,7 @@ namespace spot
/// \param g The automaton to output.
/// \param f The (optional) formula associated to the automaton. If given
/// it will be output as a comment.
/// \param a acceptance Force the type of acceptance mode used
/// \param acceptance Force the type of acceptance mode used
/// in output.
/// \param alias Whether aliases should be used in output.
/// \param newlines Whether to use newlines in output.