From 2731c9be676b6607fd19613dba41e4e7428e5d26 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 4 Dec 2014 18:20:05 +0100 Subject: [PATCH] * src/tgbaalgos/hoaf.hh: Fix comment. --- src/tgbaalgos/hoaf.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgbaalgos/hoaf.hh b/src/tgbaalgos/hoaf.hh index 84da433bc..d974c9beb 100644 --- a/src/tgbaalgos/hoaf.hh +++ b/src/tgbaalgos/hoaf.hh @@ -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.