diff options
author | Hans Bolinder <[email protected]> | 2017-01-17 15:10:58 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-02-03 08:58:00 +0100 |
commit | 2c577356c419b9420cae91a74d4b1602d584275a (patch) | |
tree | 8fc211d0118c8f49fa6ea436511ad7a5e481839a /.gitattributes | |
parent | e917ae0da957a8b151df54e2f1940fded8d21ad1 (diff) | |
download | otp-2c577356c419b9420cae91a74d4b1602d584275a.tar.gz otp-2c577356c419b9420cae91a74d4b1602d584275a.tar.bz2 otp-2c577356c419b9420cae91a74d4b1602d584275a.zip |
dialyzer: Use less memory for the PLT when analyzing
The two tables for (record) types and exported types are no longer
kept in memory (by the PLT) when analyzing, which reduces memory
consumption.
A first step towards removing (or replacing) the #plt{} record.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions