From fe1f754d2e56f0cd2fb2b959886d028ef752b33c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 5 Nov 2016 12:11:00 +0100
Subject: [PATCH] * doc/tl/tl.tex: Typo.

---
 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 fd982ad6d..1b9d5701b 100644
--- a/doc/tl/tl.tex
+++ b/doc/tl/tl.tex
@@ -865,7 +865,7 @@ is therefore a model of the formula \samp{$\sere{a\PLUS{}\CONCAT\NOT
     a}$} even though it never sees \samp{$\NOT a$}.  The same sequence
 is not a model of \samp{$\sere{a\PLUS{}\CONCAT\NOT
     a\CONCAT(a\STAR{}\ANDALT(a\STAR{}\CONCAT\NOT a\CONCAT
-    a\STAR{}))}$} because this SERE does accept any word.
+    a\STAR{}))}$} because this SERE does not accept any word.
 
 Note that the semantics of $\sere{r}$ comes from the
 $\mathsf{cl}(\cdot)$ operator defined by~\citet{dax.09.atva}.  This