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

* src/tgbaalgos/minimize.hh: Typo in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-09-24 15:52:11 +02:00
parent 1f0c765547
commit b5da11ed24
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbaalgos/minimize.hh
View file

@ -36,7 +36,7 @@ namespace spot
/// monitor. All useless SCCs should have been previously removed
/// (using scc_filter() for instance). Then the automaton will be
/// determinized and minimized using the standard DFA construction
/// as if all states where accepting states.
/// as if all states were accepting states.
///
/// For more detail about monitors, see the following paper:
/// \verbatim