From 94584953199d3fd22b5f89f59a430396fcffcfd1 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
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(+)

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