From 2dee90b3fb88551ea9a43b0b691247f79d913e6a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 10 Jun 2015 00:07:48 +0200 Subject: [PATCH] * src/hoaparse/public.hh: Typo. --- src/hoaparse/public.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hoaparse/public.hh b/src/hoaparse/public.hh index 58dc46238..99261a79d 100644 --- a/src/hoaparse/public.hh +++ b/src/hoaparse/public.hh @@ -108,7 +108,7 @@ namespace spot /// neverclaim output. It has been tuned to accept the output of /// spin -f, ltl2ba, ltl3ba, and modella. If you know of some other /// tool that produce Büchi automata in the form of a neverclaim, - /// but is not understood by this parse, please report it to + /// but is not understood by this parser, please report it to /// spot@lrde.epita.fr. /// /// \warning This function is not reentrant.