From 5d722ca584cecea0e424b02422fbe8ef5acdd076 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Oct 2021 10:46:22 +0200 Subject: [PATCH] * doc/org/tut.org: Fix a title. --- doc/org/tut.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)]]