From 88a8a3efbe46451d3f6f0a9920ca85ec1b3062b8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 14 Nov 2016 20:39:35 +0100 Subject: [PATCH] * NEWS: Typo. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 451285cc1..70bd50da4 100644 --- a/NEWS +++ b/NEWS @@ -30,7 +30,7 @@ New in spot 2.2 (2016-11-14) * is_unambiguous() was rewritten in a more efficient way. * scc_info learned to determine the acceptance of simple SCCs made - of a single self-loop without ressorting to remove_fin() for complex + of a single self-loop without resorting to remove_fin() for complex acceptance conditions. * remove_fin() has been improved to better deal with automata with