diff options
Diffstat (limited to 'doc/refman/RefMan-mod.tex')
| -rw-r--r-- | doc/refman/RefMan-mod.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-mod.tex b/doc/refman/RefMan-mod.tex index 505c1110c7..0e7b39c751 100644 --- a/doc/refman/RefMan-mod.tex +++ b/doc/refman/RefMan-mod.tex @@ -403,7 +403,7 @@ Check B.T. \end{ErrMsgs} \begin{Warnings} - \item Warning: Trying to mask the absolute name {\qualid} ! + \item Trying to mask the absolute name {\qualid} ! \end{Warnings} \subsection{\tt Print Module {\ident} |