From 94584953199d3fd22b5f89f59a430396fcffcfd1 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 24 Aug 2017 10:09:30 +0200 Subject: 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. --- lib/dialyzer/src/dialyzer_plt.erl | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/dialyzer/src') 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) -> -- cgit v1.2.3