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

isdet: fix documentation error

Browse source 
* spot/twaalgos/isdet.hh: here
This commit is contained in:
Antoine Martin 2018-07-02 16:37:55 +02:00
parent c717b58827
commit 34ffc1fa1f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/isdet.hh
View file

@ -83,7 +83,7 @@ namespace spot
/// In the case of a semideterministic automaton, highlights the
/// states reachable from any accepting SCC.
///
/// \param aut the automaton to process
/// \param si the SCC information of the automaton to process
/// \param color the color to give to states reachable from accepting SCCs.
SPOT_API void
highlight_semidet_sccs(scc_info& si, unsigned color);