diff options
author | Hans Bolinder <[email protected]> | 2019-02-12 12:48:31 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2019-02-21 07:54:27 +0100 |
commit | f1a00ba58cbfa899d4de2a63b1dbb9a16a9f50ed (patch) | |
tree | 9eee19131252a5e3ab7b71a1c199b39b6119dfba /lib/.gitignore | |
parent | c14e3dcce779feb3ef254a08acedae60108ad3ac (diff) | |
download | otp-f1a00ba58cbfa899d4de2a63b1dbb9a16a9f50ed.tar.gz otp-f1a00ba58cbfa899d4de2a63b1dbb9a16a9f50ed.tar.bz2 otp-f1a00ba58cbfa899d4de2a63b1dbb9a16a9f50ed.zip |
dialyzer: Fix key check of lists:key{search,member,find}()
Replace integers and floats with t_number() since keysearch et al
compare the key (rather than match).
Corrects the commit b3c8e94.
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions