aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-05-19 14:50:15 +0200
committerHans Bolinder <[email protected]>2014-06-17 12:32:52 +0200
commitdeca0a0687285af2c807715c9cc5de0a02c16ec2 (patch)
tree5440b68685a47adeaea7b59e711b656c63ea370c /lib/dialyzer/src
parent8498a35ce141c6e16feed198540b910b9475b2e2 (diff)
downloadotp-deca0a0687285af2c807715c9cc5de0a02c16ec2.tar.gz
otp-deca0a0687285af2c807715c9cc5de0a02c16ec2.tar.bz2
otp-deca0a0687285af2c807715c9cc5de0a02c16ec2.zip
[dialyzer] Use the option 'dialyzer' to control the compiler
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_utils.erl4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_utils.erl b/lib/dialyzer/src/dialyzer_utils.erl
index 2eba68322b..e1bcd72c0b 100644
--- a/lib/dialyzer/src/dialyzer_utils.erl
+++ b/lib/dialyzer/src/dialyzer_utils.erl
@@ -402,9 +402,7 @@ sets_filter([Mod|Mods], ExpTypes) ->
src_compiler_opts() ->
[no_copt, to_core, binary, return_errors,
no_inline, strict_record_tests, strict_record_updates,
- %% The following could be coalesced into one Dialyzer specific option.
- no_is_record_optimization,
- annotate_records].
+ dialyzer].
-spec get_module(abstract_code()) -> module().