From ad8bf9b974ed80bf4efcb4c2be606b482c6293a1 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 4 Mar 2014 13:41:09 +0100 Subject: Introduce a new warning option, 'no_unknown' Not (yet) documented. --- lib/dialyzer/test/user_SUITE_data/dialyzer_options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/test/user_SUITE_data') diff --git a/lib/dialyzer/test/user_SUITE_data/dialyzer_options b/lib/dialyzer/test/user_SUITE_data/dialyzer_options index 513ed7752b..d20ecd389f 100644 --- a/lib/dialyzer/test/user_SUITE_data/dialyzer_options +++ b/lib/dialyzer/test/user_SUITE_data/dialyzer_options @@ -1,2 +1,2 @@ -{dialyzer_options, []}. +{dialyzer_options, [{warnings, [no_unknown]}]}. {time_limit, 3}. \ No newline at end of file -- cgit v1.2.3