diff options
| author | Brian Campbell | 2018-02-20 17:58:05 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-20 18:35:13 +0000 |
| commit | 7284f6e7534b65857b5619c63fa6a64fd0354c8f (patch) | |
| tree | f6da11d1dfdc4bcf40cc27a5d4d7bebb21060760 /src/reporting_basic.mli | |
| parent | 7f5f06adda7074e55708290d56fccb786a8df8f4 (diff) | |
Look for alternative size annotations when pretty printing Lem
(so that we get enough type annotations for bitvectors)
Diffstat (limited to 'src/reporting_basic.mli')
0 files changed, 0 insertions, 0 deletions