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 /lib/dialyzer | |
| 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 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 47994fc35b..0fd99bbc04 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -772,6 +772,7 @@ tab_is_disj(K1, T1, T2) -> end. merge_tables(T1, T2) -> + ets:safe_fixtable(T1, true), tab_merge(ets:first(T1), T1, T2). tab_merge('$end_of_table', T1, T2) -> |