SET_LINE_NO ==> SET_LINENO

Reported by Corran Webster <cwebster@math.tamu.edu>.

diff --git a/Doc/lib/libdis.tex b/Doc/lib/libdis.tex
index 116225c1c96b33a624bd5efc85deece7c4d17262..60c61ba3e64c82c499b6713304bc4d401cac9acb 100644 (file)
--- a/Doc/lib/libdis.tex
+++ b/Doc/lib/libdis.tex
@@ -480,7 +480,7 @@ Stores TOS into the local \code{co_varnames[\var{var_num}]}.
 Deletes local \code{co_varnames[\var{var_num}]}.
 \end{opcodedesc}
 
-\begin{opcodedesc}{SET_LINE_NO}{lineno}
+\begin{opcodedesc}{SET_LINENO}{lineno}
 Sets the current line number to \var{lineno}.
 \end{opcodedesc}