From b5da11ed241d2a2bee7095f73274456357a3834f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 24 Sep 2012 15:52:11 +0200 Subject: [PATCH] * src/tgbaalgos/minimize.hh: Typo in comment. --- src/tgbaalgos/minimize.hh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tgbaalgos/minimize.hh b/src/tgbaalgos/minimize.hh index b7cd3fe31..be4f4f2d6 100644 --- a/src/tgbaalgos/minimize.hh +++ b/src/tgbaalgos/minimize.hh @@ -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