diff options
| author | Björn Gustavsson <[email protected]> | 2014-01-31 13:11:29 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-01-31 16:04:30 +0100 |
| commit | b7ec407716059dd2b8806a2f43e415216bef95ea (patch) | |
| tree | 87db5e933b107cc15a3504bb0449fb9a8d37abeb /lib/tools/ebin/.gitignore | |
| parent | 3cff534f38d9600ae6e02d8dc361c6e35826ab43 (diff) | |
| download | otp-b7ec407716059dd2b8806a2f43e415216bef95ea.tar.gz otp-b7ec407716059dd2b8806a2f43e415216bef95ea.tar.bz2 otp-b7ec407716059dd2b8806a2f43e415216bef95ea.zip | |
asn1ct_check: Remove useless call to check_integer/3
check_integer/3 can check nothing for an INTEGER without any named
values. Remove the useless call to silence a dialyzer warning for
unmatched return.
Diffstat (limited to 'lib/tools/ebin/.gitignore')
0 files changed, 0 insertions, 0 deletions