diff options
| author | Hans Bolinder <[email protected]> | 2017-08-24 10:09:30 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-08-24 12:20:23 +0200 |
| commit | 94584953199d3fd22b5f89f59a430396fcffcfd1 (patch) | |
| tree | 570a570865d642b9bd47d291a881cdba3fb4dd0c /erts/emulator | |
| parent | 41878bba817fc2ec9e08529afe19c2655742dbd1 (diff) | |
| download | otp-94584953199d3fd22b5f89f59a430396fcffcfd1.tar.gz otp-94584953199d3fd22b5f89f59a430396fcffcfd1.tar.bz2 otp-94584953199d3fd22b5f89f59a430396fcffcfd1.zip | |
dialyzer: Fix a bug where merging PLT:s could lose info
A missing call to ets:safe_fixtable/2 meant that information
was sometimes lost when merging PLT:s.
Diffstat (limited to 'erts/emulator')
0 files changed, 0 insertions, 0 deletions