diff options
author | Eduardo Julian | 2017-01-29 11:42:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-01-29 11:42:38 -0400 |
commit | 7886f9da86c2b6d3da6ab801d07005d21686c275 (patch) | |
tree | e0d1cf9ca8751efc6207dcfbc511f6a284323c93 /stdlib | |
parent | 9ff1c394dbf65f98adb6e183e576dee739f3d596 (diff) |
- Removed several unnecessary CHECKCASTs.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions