one more place to avoid extra markup (how many will there be?)

diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 67691b709b1683c02f606acd1650e775878a51b4..560cc27b451a0033591a92e32ac8770684a616d5 100644 (file)
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -55,7 +55,7 @@ was provided.  The output is divided in the following columns:
 \begin{enumerate}
 \item the line number, for the first instruction of each line
 \item the current instruction, indicated as \samp{-->},
-\item a labelled instruction, indicated with \samp{>\code{>}},
+\item a labelled instruction, indicated with \samp{>>},
 \item the address of the instruction,
 \item the operation code name,
 \item operation parameters, and