From 3dd15a193e4a5aea1dd100d6a4e5ad3401334dfe Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Tue, 11 Apr 2017 13:06:50 +0200
Subject: stdlib: Add checks of the dialyzer attribute to the linter

The same checks are also performed by the Dialyzer.
---
 lib/dialyzer/doc/src/dialyzer.xml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'lib/dialyzer/doc/src/dialyzer.xml')

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 4b7eb4ad68..e34ffd6def 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -4,7 +4,7 @@
 <erlref>
   <header>
     <copyright>
-      <year>2006</year><year>2016</year>
+      <year>2006</year><year>2017</year>
       <holder>Ericsson AB. All Rights Reserved.</holder>
     </copyright>
     <legalnotice>
@@ -456,11 +456,6 @@ dialyzer --plts plt_1 ... plt_n -- files_to_analyze</code>
       options are also enumerated, see function <seealso marker="#gui/1">
       <c>gui/1</c></seealso> below (<c>WarnOpts</c>).</p>
 
-    <note>
-      <p>Attribute <c>-dialyzer()</c> is not checked by the Erlang
-        compiler, but by Dialyzer itself.</p>
-    </note>
-
     <note>
       <p>Warning option <c>-Wrace_conditions</c> has no effect when
         set in source files.</p>
-- 
cgit v1.2.3