diff options
author | chrishaw <unknown> | 2015-04-02 19:59:14 -0700 |
---|---|---|
committer | chrishaw <unknown> | 2015-04-02 19:59:14 -0700 |
commit | 4d502277ed355fc739cf0c1856044c30645fcd13 (patch) | |
tree | 67d4b59eb4b1735e18119c87a8ce7b793f0d8ad3 /Binaries | |
parent | 8a332057c2c9fc76e5fb112d430404d1aa47ea0d (diff) |
Eliminate redundant checks of newtype and opaque function well-formedness from included files
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions