@@ -11896,7 +11896,6 @@ movq |$8(n+1)$|(%r11), |$\itm{lhs'}$|
|$\Longrightarrow$|
movq |$\itm{tup}'$|, %r11
movq |$\itm{rhs}'$|, |$8(n+1)$|(%r11)
-movq $0, |$\itm{lhs'}$|
\end{lstlisting}
\fi}
\end{minipage}