diff options
| author | Hans Bolinder <[email protected]> | 2016-12-22 10:26:19 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:59 +0100 |
| commit | 8786ac9ef56e34c6c2910320d2b291452853b034 (patch) | |
| tree | 7e950af5ae1bcfc4a26b01a5cf25aaaad654dabc /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | e083770cdea7b1dfdc9b74a3ae58b1cc8da8f3a9 (diff) | |
| download | otp-8786ac9ef56e34c6c2910320d2b291452853b034.tar.gz otp-8786ac9ef56e34c6c2910320d2b291452853b034.tar.bz2 otp-8786ac9ef56e34c6c2910320d2b291452853b034.zip | |
dialyzer: Use maps instead of dict for module contracts map
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index d92173875c..0e44a5223f 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -263,7 +263,7 @@ refine_one_module(M, {CodeServer, Callgraph, Plt, _Solvers}) -> NewFunTypes = dialyzer_dataflow:get_fun_types(ModCode, Plt, Callgraph, CodeServer, Records), Contracts1 = dialyzer_codeserver:lookup_mod_contracts(M, CodeServer), - Contracts = orddict:from_list(dict:to_list(Contracts1)), + Contracts = orddict:from_list(maps:to_list(Contracts1)), FindOpaques = find_opaques_fun(Records), DecoratedFunTypes = decorate_succ_typings(Contracts, Callgraph, NewFunTypes, FindOpaques), |