From 09c63939423e8c0aa4c6257cf12e74803fb5a8a8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 29 Jul 2016 11:59:31 +0200 Subject: [PATCH] * NEWS: Typo. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index a63dff4b4..31b6ee7a8 100644 --- a/NEWS +++ b/NEWS @@ -130,7 +130,7 @@ New in spot 2.0.3a (not yet released) * spot::twa has two new methods that supplement is_empty(): twa::accepting_run() and twa::accepting_word(). They compute - what their name suggests. Note that twa::accepting_run(), unlike + what their names suggest. Note that twa::accepting_run(), unlike the two others, is currently restricted to automata with Fin-less acceptance.