summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-15 06:58:47 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-15 06:58:47 +0100
commit390271345644bc016f2f456ea770e2a1b59da703 (patch)
treed08e4c6f3b7c05d18346616f3d522b0c2a2fcf19
parent9c16b52c71af649970a98341fc2efb2b3fcaa291 (diff)
downloadinf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.tar.gz
inf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.tar.bz2
inf110-lfi-390271345644bc016f2f456ea770e2a1b59da703.zip
Typo.
(Thanks, Cyrille Deuss.)
-rw-r--r--transp-inf110-02-typage.tex2
1 files changed, 1 insertions, 1 deletions
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}