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/r9c_SUITE_data/dialyzer_options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dialyzer/test/r9c_SUITE_data/dialyzer_options') diff --git a/lib/dialyzer/test/r9c_SUITE_data/dialyzer_options b/lib/dialyzer/test/r9c_SUITE_data/dialyzer_options index ba0e6b1ad7..e00e23bb66 100644 --- a/lib/dialyzer/test/r9c_SUITE_data/dialyzer_options +++ b/lib/dialyzer/test/r9c_SUITE_data/dialyzer_options @@ -1,2 +1,2 @@ -{dialyzer_options, [{defines, [{vsn, 42}]}, {warnings, [no_unknown]}]}. +{dialyzer_options, [{defines, [{vsn, 42}]}]}. {time_limit, 20}. -- cgit v1.2.3