aboutsummaryrefslogtreecommitdiffstats
path: root/erts/emulator
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-08-24 10:09:30 +0200
committerHans Bolinder <[email protected]>2017-08-24 12:20:23 +0200
commit94584953199d3fd22b5f89f59a430396fcffcfd1 (patch)
tree570a570865d642b9bd47d291a881cdba3fb4dd0c /erts/emulator
parent41878bba817fc2ec9e08529afe19c2655742dbd1 (diff)
downloadotp-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