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 • committed by Alexandre Duret-Lutz
parent 149fbb73bf
commit 33a79a34d3
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

@ -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.

2
spot/graph/graph.hh
View file

@ -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());