diff --git a/doc/org/tut.org b/doc/org/tut.org index 052cfc985..0953c5cd3 100644 --- a/doc/org/tut.org +++ b/doc/org/tut.org @@ -37,7 +37,7 @@ three interfaces supported by Spot: shell commands, Python, or C++. - [[file:tut22.org][Creating an automaton by adding states and transitions]] - [[file:tut23.org][Creating an alternating automaton by adding states and transitions]] - [[file:tut24.org][Iterating over alternating automata]] -- [[file:tut40.org][Creating a solving a safety game to decide direct simulation]] +- [[file:tut40.org][Solving a safety game to decide direct simulation]] - [[file:tut52.org][Creating an explicit Kripke structure]] - [[file:tut90.org][Using the =bdd_dict= to associate atomic proposition to BDD variables, or allocate anonymous BDD variables (advanced)]]