From 8ec945f3ac2805d7bbabb84b25f927445f5d9305 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 14 Jan 2022 15:52:52 +0100
Subject: [PATCH] * doc/org/tut40.org: Finish a sentence.

---
 doc/org/tut40.org | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/org/tut40.org b/doc/org/tut40.org
index f3b938d62..b68efe558 100644
--- a/doc/org/tut40.org
+++ b/doc/org/tut40.org
@@ -25,7 +25,8 @@ $(s',c',a',d')$ leaving $s'$ with a condition $c'$ that covers $c$,
 some colors $a'\supseteq a$ that covers the colors of $a$ other
 transition, and reaching a destination state $d'$ that simulates $d$.
 
-In the following automaton, for instance, XXX
+In the following automaton, for instance, state 5 simulates state 1,
+and state 4 simulates state 0.
 
 #+NAME: tut40in
 #+BEGIN_SRC hoa