diff options
| author | Brian Campbell | 2019-05-19 18:39:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-19 18:40:26 +0100 |
| commit | baf7c57218b37618c5ede4ec72d3c79e9c14cd51 (patch) | |
| tree | bcff2df1239e8dd9d4f5c54f72c8ae22fc25238c /lib | |
| parent | cb95f36b485749cb739acea5373745b99332d874 (diff) | |
Coq: remove unhelpful type printing restriction on early returns
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions