From 33a79a34d334e1d23c9f812473840125381e046c Mon Sep 17 00:00:00 2001 From: Florian Renkin Date: Tue, 1 Sep 2020 17:25:31 +0200 Subject: [PATCH] Fix typo * NEWS, spot/graph/graph.hh: here. --- NEWS | 2 +- spot/graph/graph.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 82a4901f6..0edbfaf5e 100644 --- a/NEWS +++ b/NEWS @@ -78,7 +78,7 @@ New in spot 2.9.1 (2020-07-15) - simplify_acceptance() missed some patterns it should have been able to simplify. For instance Fin(0)&(Fin(1)|Fin(2)|Fin(4)) - should simplify to Fin(1)|Fin(2)|Fin(4) adter adding {1,2,4} to + should simplify to Fin(1)|Fin(2)|Fin(4) after adding {1,2,4} to every place where 0 occur, and then the acceptance would be renumbered to Fin(0)|Fin(1)|Fin(2). This is now fixed. diff --git a/spot/graph/graph.hh b/spot/graph/graph.hh index e247e44ec..87bb063fd 100644 --- a/spot/graph/graph.hh +++ b/spot/graph/graph.hh @@ -861,7 +861,7 @@ namespace spot return &ss - &states_.front(); } - /// Conveart a storage reference into an edge number + /// Convert a storage reference into an edge number edge index_of_edge(const edge_storage_t& tt) const { SPOT_ASSERT(!edges_.empty());