diff options
| author | Brian Campbell | 2019-04-24 11:44:01 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-25 15:01:56 +0100 |
| commit | c5c2f3a9dc9c18463719647eb48ccccd84fbdc89 (patch) | |
| tree | 82a50dbc9ba997b85b648891af710e70282d2af1 /lib/coq | |
| parent | 73b5f711029ea8dd7463f79277f7c01527c5e3bf (diff) | |
Don't try to insert monomorphisation casts when the types are the same
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions