From 51982dfa96c98b91531d0a13e1350f2fef06b845 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Mon, 13 Apr 2015 11:00:45 +0200 Subject: dialyzer: Add new option 'unknown' Replace the undocumented option 'no_unknown' with the documented option 'unknown'. --- lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options') diff --git a/lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options b/lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options index 6843119b9d..f7197ac30f 100644 --- a/lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options +++ b/lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options @@ -1 +1 @@ -{dialyzer_options, [{warnings, [underspecs, no_unknown]}]}. +{dialyzer_options, [{warnings, [underspecs]}]}. -- cgit v1.2.3