Commit 8c587531 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* doc/org/satmin.org: Typo

parent 0fc189d1
...@@ -391,7 +391,7 @@ The following options can be used to fine-tune this procedure: ...@@ -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 any loop to lower the number of states. Note that $n$ should be
the number of states in a complete automaton, while =ltl2tgba= the number of states in a complete automaton, while =ltl2tgba=
and =dstar2tgba= both remove sink states in their output by 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 Also note that even with the =--complete= option, the output
automaton may have appear to have less states because the other automaton may have appear to have less states because the other
are unreachable. are unreachable.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment