diff options
| author | Björn Gustavsson <[email protected]> | 2017-06-13 12:52:44 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-06-13 12:58:19 +0200 |
| commit | 2820003c58097805f5ec8d2c82c3006e20662fcb (patch) | |
| tree | b118507460c9450da43c68dfbe5775080ffb4771 /scripts/run-dialyzer | |
| parent | bcfa6c109f44f5d7d0d51e1a497321fdee8d166a (diff) | |
| download | otp-2820003c58097805f5ec8d2c82c3006e20662fcb.tar.gz otp-2820003c58097805f5ec8d2c82c3006e20662fcb.tar.bz2 otp-2820003c58097805f5ec8d2c82c3006e20662fcb.zip | |
sys_core_fold: Ensure that orddict keys are unique
All keys in an orddict must be unique. sys_core_fold:sub_sub_scope/1
broke that rule. It was probably harmless, but it is better to
avoid such rule violations.
Diffstat (limited to 'scripts/run-dialyzer')
0 files changed, 0 insertions, 0 deletions