diff options
| author | Henrik Nord <[email protected]> | 2017-08-25 13:17:37 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2017-08-25 13:17:37 +0200 |
| commit | 5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6 (patch) | |
| tree | 04c8c7f272207bfd1de77c26898e0453a044d89d /lib/dialyzer/src | |
| parent | 47a4ab2678aacea0eab8fc9fe6d8d15ee92e76a2 (diff) | |
| parent | 3bc5c3b35b3151143dffe94290c9ddf29b1b10d6 (diff) | |
| download | otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.tar.gz otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.tar.bz2 otp-5d124efc4f8408cdbe2f23ca6b233b932f1dd7c6.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/src')
| -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) -> |