From 1a0b1f235d16439cac4f20a13ab247f0fad9dc18 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 24 Mar 2023 13:52:37 +0100
Subject: [PATCH] * doc/tl/tl.tex: Typo in firstmatch semantics.

---
 doc/tl/tl.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tl/tl.tex b/doc/tl/tl.tex
index f9205cced..371886711 100644
--- a/doc/tl/tl.tex
+++ b/doc/tl/tl.tex
@@ -701,7 +701,7 @@ $a$ is an atomic proposition.
       \VDash f\FSTAR{\mvar{i-1}..}))\\
     \end{cases}\\
   \sigma\VDash \FIRSTMATCH\code(f\code) & \iff
-      (\sigma\VDash f)\land (\forall k<|\sigma|,\,\sigma^{0..k}\nVDash f)
+      (\sigma\VDash f)\land (\forall k<|\sigma|,\,\sigma^{0..k-1}\nVDash f)
 \end{align*}}
 
 Notes: