@@ -9755,7 +9755,7 @@ In the \code{run-tests.rkt} script, add the following entry to the
list of \code{passes} between \code{allocate\_registers}
and \code{patch\_instructions}:
\begin{lstlisting}
-(list "remove-jumps" remove-jumps interp-pseudo-x86-1)
+(list "remove_jumps" remove_jumps interp-pseudo-x86-1)
\end{lstlisting}
\fi}
%