From 92848f73af7798ccbdd6bd5e3602fb5c7b187387 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 22 Aug 2014 17:37:58 +0200 Subject: [PATCH] * src/tgbaalgos/hoaf.hh: Typos in comments. --- src/tgbaalgos/hoaf.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tgbaalgos/hoaf.hh b/src/tgbaalgos/hoaf.hh index ca9a0c705..be3222ac9 100644 --- a/src/tgbaalgos/hoaf.hh +++ b/src/tgbaalgos/hoaf.hh @@ -45,10 +45,10 @@ 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. - /// \parama acceptance Force the type of acceptance mode used + /// \param a acceptance Force the type of acceptance mode 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& hoaf_reachable(std::ostream& os, const const_tgba_ptr& g,