diff options
| author | Brian Campbell | 2018-07-09 15:35:25 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-09 15:35:25 +0100 |
| commit | 0bb45311868aff5ce34d29ec4b0a410bc1e319dd (patch) | |
| tree | 52a7af16af403db5afd88037c18270f0736ca5d6 /language | |
| parent | 8139ae498b4809833394b3e0548757426ff912cc (diff) | |
Coq: remove some unnecessary casts
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions