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

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