From 8c5875314cc79b4014d99d2f3eb013d07089f960 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 3 Dec 2013 15:07:16 +0100 Subject: [PATCH] * doc/org/satmin.org: Typo --- doc/org/satmin.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/satmin.org b/doc/org/satmin.org index d68132944..5715ceae8 100644 --- a/doc/org/satmin.org +++ b/doc/org/satmin.org @@ -391,7 +391,7 @@ The following options can be used to fine-tune this procedure: any loop to lower the number of states. Note that $n$ should be the number of states in a complete automaton, while =ltl2tgba= and =dstar2tgba= both remove sink states in their output by - default (use option =--complete=) to output a complete automaton. + default (use option =--complete= to output a complete automaton). Also note that even with the =--complete= option, the output automaton may have appear to have less states because the other are unreachable.