From 25ab719cfaf42d196287fec2171bf3eefb845b62 Mon Sep 17 00:00:00 2001
From: Hans Bolinder
Date: Wed, 30 Apr 2014 09:11:34 +0200
Subject: dialyzer: Introduce module local suppression of warnings
The -dialyzer() attribute can be used for suppressing warnings in a
module by specifying functions or warning options. It can also be used
for requesting warnings in a module.
---
system/doc/reference_manual/modules.xml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
(limited to 'system/doc/reference_manual/modules.xml')
diff --git a/system/doc/reference_manual/modules.xml b/system/doc/reference_manual/modules.xml
index 5fc8b363f8..5cb0c11371 100644
--- a/system/doc/reference_manual/modules.xml
+++ b/system/doc/reference_manual/modules.xml
@@ -194,8 +194,7 @@ behaviour_info(callbacks) -> Callbacks.
-type my_type() :: atom() | integer().
--spec my_function(integer()) -> integer().
-
+-spec my_function(integer()) -> integer().
Read more in Types and Function specifications.
--
cgit v1.2.3