diff options
| author | Björn Gustavsson <[email protected]> | 2014-02-25 11:36:01 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-02-28 11:57:05 +0100 |
| commit | e45fb925416ae43a3956366bf015aa74b77b7cfe (patch) | |
| tree | 8d696ad8cb750bfc5e91d338d688d55957122fcb /Makefile.in | |
| parent | 7505ac9334c0e0a62dd81f9e0fdee8a1a5a7eb01 (diff) | |
| download | otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.tar.gz otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.tar.bz2 otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.zip | |
asn1ct_check: Clean up error checking for INSTANCE OF
This will also eliminate a dialyzer warning for unmatched returns,
and increase the coverage.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions