diff options
| author | Zandra <[email protected]> | 2016-02-02 11:13:00 +0100 |
|---|---|---|
| committer | Zandra <[email protected]> | 2016-02-02 11:13:00 +0100 |
| commit | 7cb403e4aa044fd2cc7702dbe8e2d0eea68e81f3 (patch) | |
| tree | 6f746810ee1eb235ca09d8b6592cb92d5873bcf0 /lib/dialyzer/src/dialyzer_plt.erl | |
| parent | e9ed8248d845ed7240dbb778aff9b31300f1eb0a (diff) | |
| parent | 56ab0f42911cc55c6a1640fa4949a267c1394c23 (diff) | |
| download | otp-7cb403e4aa044fd2cc7702dbe8e2d0eea68e81f3.tar.gz otp-7cb403e4aa044fd2cc7702dbe8e2d0eea68e81f3.tar.bz2 otp-7cb403e4aa044fd2cc7702dbe8e2d0eea68e81f3.zip | |
Merge branch 'aronisstav/dialyzer-missing-callback-info' into maint
* aronisstav/dialyzer-missing-callback-info:
Fix inadvertent deletion of callback info
Eliminate ugly case statements
Remove dead code related to missing behaviour info
OTP-13287
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 634871b2eb..769f26a3df 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -137,7 +137,7 @@ delete_list(#plt{info = Info, types = Types, #plt{info = table_delete_list(Info, List), types = Types, contracts = table_delete_list(Contracts, List), - callbacks = table_delete_list(Callbacks, List), + callbacks = Callbacks, exported_types = ExpTypes}. -spec insert_contract_list(plt(), dialyzer_contracts:plt_contracts()) -> plt(). |