From d9d92881326847f8eff06c093b8eb8e8993b238d Mon Sep 17 00:00:00 2001 From: Maximilien Colange Date: Mon, 2 Oct 2017 10:58:30 +0200 Subject: [PATCH] Typos * NEWS: typos --- NEWS | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/NEWS b/NEWS index 69c4d7479..0eb65368d 100644 --- a/NEWS +++ b/NEWS @@ -115,8 +115,8 @@ New in spot 2.4.0.dev (not yet released) Bugs fixed: - - The formula class failed to build {a->c[*]} althought it is - alowed in our grammar. + - The formula class failed to build {a->c[*]} although it is + allowed by our grammar. - spot::scc_info::determine_unknown_acceptance() incorrectly considered some rejecting SCC as accepting. @@ -128,14 +128,13 @@ New in spot 2.4.0.dev (not yet released) function could crash on input that had a Streett-like acceptance not using all declared sets. - - The twa_graph::mege_edges() function relied on BDD IDs to sort - edges. This in turn caused some algorithm (like the - degeneralization) to produce slighltly different outputs (but - still correct outputs) depending on the BDD operations performed - before. + - The twa_graph::merge_edges() function relied on BDD IDs to sort + edges. This in turn caused some algorithms (like the + degeneralization) to produce slighltly different (but still correct) + outputs depending on the BDD operations performed before. - - spot::simulation() would occasionally incorrectly flag an - automaton as non-deterministic. + - spot::simulation() could incorrectly flag an automaton as + non-deterministic. New in spot 2.4 (2017-09-06)