@@ -6302,6 +6302,7 @@ For example, we want to generate the following code for the inner
\end{lstlisting}
\end{minipage}
\end{center}
+\ocaml{That first conditional jump instruction should actually be \code{jl then\_branch\_1}.}
One way to achieve this is to reorganize the code at the level of
\LangIf{}, pushing the outer \key{if} inside the inner one, yielding
the following code.