diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:53:48 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:53:48 -0400 |
commit | bde8927745dd53a50557bdec541766cb1243d976 (patch) | |
tree | da1c9a0b2f68660e73d51c7bcc16387c3aeb0181 /tests/badVariant.ur | |
parent | 381cdb4213afe0eb08aa393cb82ed4f34570e40a (diff) |
Simplify types for printing with '-dumpTypes'
Diffstat (limited to 'tests/badVariant.ur')
0 files changed, 0 insertions, 0 deletions