git » jacl.git » commit 0fc9795

diff --git a/paper/jacl-els-2020.tex b/paper/jacl-els-2020.tex
index 5f35c0e..9154bd5 100644
--- a/paper/jacl-els-2020.tex
+++ b/paper/jacl-els-2020.tex
@@ -701,6 +701,9 @@ JACL compiler that implements a \texttt{continue}-based strategy for
 efficient control transfer. Actual generated code will include type
 checks by default, but those have been omitted for clarity.
 
+\texttt{GoTag} is defined for completeness but is never used because
+the only jump, to the tag \texttt{START}, is local.
+
 \begin{verbatim}
 function GoTag(tag) {
   this.tag = tag;