From fe038eea4f1c62a209db18fadb69dbab80e16c16 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Thu, 29 Jan 2015 15:07:12 +0100
Subject: Remove some "Warning:" from the reference manual.

---
 doc/refman/RefMan-mod.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/refman/RefMan-mod.tex')

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}
-- 
cgit v1.2.3