diff options
| -rw-r--r-- | transp-inf110-02-typage.tex | 2 |
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} |