aboutsummaryrefslogtreecommitdiffstats
path: root/lib
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 /lib
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 'lib')
-rw-r--r--lib/dialyzer/src/dialyzer_plt.erl1
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) ->