diff options
author | Hans Bolinder <[email protected]> | 2018-01-17 14:09:36 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2018-01-22 15:27:30 +0100 |
commit | bd873955db32c470f082c3629627a10c84c9c208 (patch) | |
tree | 75b5f2e82214b73edebc375cae41c1894996894c /HOWTO | |
parent | 7a37e39d45597a25ff532751c5131938b5286331 (diff) | |
download | otp-bd873955db32c470f082c3629627a10c84c9c208.tar.gz otp-bd873955db32c470f082c3629627a10c84c9c208.tar.bz2 otp-bd873955db32c470f082c3629627a10c84c9c208.zip |
dialyzer: Optimize handling of a lot of warnings
If the number of warnings is huge the '--'/2 operator is slow.
Diffstat (limited to 'HOWTO')
0 files changed, 0 insertions, 0 deletions