git » jacl.git » commit 06a4fa7

diff --git a/paper/jacl-els-2020.tex b/paper/jacl-els-2020.tex
index c2ba02a..5f35c0e 100644
--- a/paper/jacl-els-2020.tex
+++ b/paper/jacl-els-2020.tex
@@ -698,7 +698,8 @@ cannot currently be compiled by JACL because \texttt{SETF},
 
 The following is the hypothetical output for a future version of the
 JACL compiler that implements a \texttt{continue}-based strategy for
-efficient control transfer.
+efficient control transfer. Actual generated code will include type
+checks by default, but those have been omitted for clarity.
 
 \begin{verbatim}
 function GoTag(tag) {