diff options
| author | Björn Gustavsson <[email protected]> | 2014-12-16 07:43:22 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-01-12 12:22:58 +0100 |
| commit | 92f5fe1fdd4982a48fe903b8d864501cc3e7e6c2 (patch) | |
| tree | c4fc85bdd820921625ac653157c1d3fecf990b24 /lib/.gitignore | |
| parent | 819d4c5622c7c90e2929e349a8f8f2a9df4c72a2 (diff) | |
| download | otp-92f5fe1fdd4982a48fe903b8d864501cc3e7e6c2.tar.gz otp-92f5fe1fdd4982a48fe903b8d864501cc3e7e6c2.tar.bz2 otp-92f5fe1fdd4982a48fe903b8d864501cc3e7e6c2.zip | |
Remove useless fields in #state{}
Three fields ('type','value', and 'vname') are almost unused. They
are set, but almost never read. Eliminate the last remaining uses
and the fields themselves.
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions