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

* src/tgbaalgos/hoaf.hh: Typos in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-08-22 17:37:58 +02:00
parent 700cf88b06
commit 92848f73af
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgbaalgos/hoaf.hh
View file

@ -45,10 +45,10 @@ namespace spot
/// \param g The automaton to output. /// \param g The automaton to output.
/// \param f The (optional) formula associated to the automaton. If given /// \param f The (optional) formula associated to the automaton. If given
/// it will be output as a comment. /// it will be output as a comment.
/// \parama acceptance Force the type of acceptance mode used /// \param a acceptance Force the type of acceptance mode used
/// in output. /// in output.
/// \param alias Whether aliases should be used in output. /// \param alias Whether aliases should be used in output.
/// \param newslines Whether to use newlines in output. /// \param newlines Whether to use newlines in output.
SPOT_API std::ostream& SPOT_API std::ostream&
hoaf_reachable(std::ostream& os, hoaf_reachable(std::ostream& os,
const const_tgba_ptr& g, const const_tgba_ptr& g,