alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix typo

Browse source 
* NEWS, spot/graph/graph.hh: here.
This commit is contained in:
Florian Renkin 2020-09-01 17:25:31 +02:00
parent d2e7cdb377
commit af81266877
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -141,7 +141,7 @@ New in spot 2.9.1 (2020-07-15)
- simplify_acceptance() missed some patterns it should have been - simplify_acceptance() missed some patterns it should have been
able to simplify. For instance Fin(0)&(Fin(1)|Fin(2)|Fin(4)) 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 every place where 0 occur, and then the acceptance would be
renumbered to Fin(0)|Fin(1)|Fin(2). This is now fixed. renumbered to Fin(0)|Fin(1)|Fin(2). This is now fixed.

2
spot/graph/graph.hh
View file

@ -861,7 +861,7 @@ namespace spot
return &ss - &states_.front(); 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 edge index_of_edge(const edge_storage_t& tt) const
{ {
SPOT_ASSERT(!edges_.empty()); SPOT_ASSERT(!edges_.empty());