diff options
| author | Hans Bolinder <[email protected]> | 2015-09-28 16:26:02 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-10-09 11:37:54 +0200 |
| commit | 3318e2a51b83d1dd4038950f51880ac872076564 (patch) | |
| tree | 13131fd3a700d1790f8f494091bb0c6450400469 /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | 973ef43fbb837c7e790d487dbdd7656dc3376717 (diff) | |
| download | otp-3318e2a51b83d1dd4038950f51880ac872076564.tar.gz otp-3318e2a51b83d1dd4038950f51880ac872076564.tar.bz2 otp-3318e2a51b83d1dd4038950f51880ac872076564.zip | |
Update Dialyzer
Record field types have been modified due to commit 8ce35b2:
"Take out automatic insertion of 'undefined' from typed record fields".
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 18f02e6742..987da3aecf 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -2,7 +2,7 @@ %%----------------------------------------------------------------------- %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2006-2014. All Rights Reserved. +%% Copyright Ericsson AB 2006-2015. All Rights Reserved. %% %% Licensed under the Apache License, Version 2.0 (the "License"); %% you may not use this file except in compliance with the License. @@ -134,7 +134,6 @@ get_refined_success_typings(SCCs, #st{callgraph = Callgraph, end end. --type doc_plt() :: 'undefined' | dialyzer_plt:plt(). -spec get_warnings(dialyzer_callgraph:callgraph(), dialyzer_plt:plt(), doc_plt(), dialyzer_codeserver:codeserver(), dialyzer_timing:timing_server(), [solver()], pid()) -> |