diff options
author | Hans Bolinder <[email protected]> | 2017-09-11 13:11:40 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-09-12 14:38:59 +0200 |
commit | fbed19107051cb0830434a8ffe09f16e0ddbd944 (patch) | |
tree | fc739722befee5318348bccc4d42712978254048 /lib/dialyzer/src/dialyzer_typesig.erl | |
parent | eee9dc863a4dc806ee48eea07da08bd87ab0bb0c (diff) | |
download | otp-fbed19107051cb0830434a8ffe09f16e0ddbd944.tar.gz otp-fbed19107051cb0830434a8ffe09f16e0ddbd944.tar.bz2 otp-fbed19107051cb0830434a8ffe09f16e0ddbd944.zip |
dialyzer: Do not fix ETS tables when merging PLTs
This commit removes the call to ets:safe_fixtable/2 introduced in
commit 9458495. ETS memory can now be reclaimed while merging PLTs.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_typesig.erl')
0 files changed, 0 insertions, 0 deletions