diff options
| author | Erlang/OTP <[email protected]> | 2017-08-25 09:35:55 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2017-08-25 09:35:55 +0200 |
| commit | f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a (patch) | |
| tree | 570a570865d642b9bd47d291a881cdba3fb4dd0c | |
| parent | 41878bba817fc2ec9e08529afe19c2655742dbd1 (diff) | |
| parent | 94584953199d3fd22b5f89f59a430396fcffcfd1 (diff) | |
| download | otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.tar.gz otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.tar.bz2 otp-f58abbbb6e3f50e76b7a355b0f1b062cb30b8d3a.zip | |
Merge branch 'hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558' into maint-20
* hasse/dialyzer/fix_merge_plts/ERIERL-53/OTP-14558:
dialyzer: Fix a bug where merging PLT:s could lose info
| -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) -> |