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

* spot/graph/graph.hh: Typo in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-04-10 18:05:46 +02:00
parent a6afaf3d9d
commit ab20585180
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/graph/graph.hh
View file

@ -1025,7 +1025,7 @@ namespace spot
/// ///
/// \param newst A vector indicating how each state should be renumbered. /// \param newst A vector indicating how each state should be renumbered.
/// Use -1U to erase a state. /// Use -1U to erase a state.
/// \param the number of states used (after renumbering) /// \param used_states the number of states used (after renumbering)
void defrag_states(std::vector<unsigned>&& newst, unsigned used_states) void defrag_states(std::vector<unsigned>&& newst, unsigned used_states)
{ {
assert(newst.size() == states_.size()); assert(newst.size() == states_.size());