diff options
| author | Hans Bolinder <[email protected]> | 2017-03-15 11:34:36 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-06-13 13:40:25 +0200 |
| commit | 020a8817caca2684f8241dc5f9c84a37d53b4ff7 (patch) | |
| tree | d2a9e1e455a292777d9d90b17e21a1d5ec186e33 /erts/obj.debug/.gitignore | |
| parent | f05dd185fe56cccdefeca8bd3fa92ec6c0e7979d (diff) | |
| download | otp-020a8817caca2684f8241dc5f9c84a37d53b4ff7.tar.gz otp-020a8817caca2684f8241dc5f9c84a37d53b4ff7.tar.bz2 otp-020a8817caca2684f8241dc5f9c84a37d53b4ff7.zip | |
dialyzer: Minor optimizations
Avoid some ETS-lookups. Marginal speed-ups.
Diffstat (limited to 'erts/obj.debug/.gitignore')
0 files changed, 0 insertions, 0 deletions