From 69f8ad2820735ee41eca387871024966d5c60c23 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Mon, 11 Apr 2011 20:15:54 +0200 Subject: dialyzer/doc: fix whitespace errors --- lib/dialyzer/doc/src/dialyzer.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 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 3a4f605b93..7d8f9273d6 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -241,7 +241,7 @@ Include warnings about behaviour callbacks which drift from the published recommended interfaces. *** - Warn about underspecified functions + Warn about underspecified functions (the -spec is strictly more allowing than the success typing).

The following options are also available but their use is not @@ -249,7 +249,7 @@ debugging)

*** - Warn about overspecified functions + Warn about overspecified functions (the -spec is strictly less allowing than the success typing). *** Warn when the -spec is different than the success typing. -- cgit v1.2.3