diff options
| author | Björn Gustavsson <[email protected]> | 2014-01-31 10:47:42 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-01-31 16:04:30 +0100 |
| commit | 17411317c3bfe8b0c557db5cb388e1874706b13a (patch) | |
| tree | 08622a55d32e05a7e1dd96becbb4bce2ac0f88c1 /plt/.gitignore | |
| parent | 014c095621a5d5f3b04184cd78b678dca69cac86 (diff) | |
| download | otp-17411317c3bfe8b0c557db5cb388e1874706b13a.tar.gz otp-17411317c3bfe8b0c557db5cb388e1874706b13a.tar.bz2 otp-17411317c3bfe8b0c557db5cb388e1874706b13a.zip | |
asn1ct_table: Silence a dialyzer warning for unmatched return
Change the code so that delete/1 always returns 'true'.
While at it, also remove the TODO comment and explain in a comment
why we want to keep the delete/1 function.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions