From 390271345644bc016f2f456ea770e2a1b59da703 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 15 Dec 2023 06:58:47 +0100
Subject: Typo.

(Thanks, Cyrille Deuss.)
---
 transp-inf110-02-typage.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index d0347c4..4add232 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -3355,7 +3355,7 @@ qu'on peut appeler avec un argument $v$ :
 \item la continuation elle-même ne termine jamais (puisque c'est,
   justement, une continuation : elle \alert{remplace} la pile d'appels
   par celle qui a été capturée),
-\item alle a pour effet de faire retourner $v$ au call/cc qui l'a
+\item elle a pour effet de faire retourner $v$ au call/cc qui l'a
   créée.
 \end{itemize}
 
-- 
cgit v1.2.3