diff options
| author | SimonBoulier | 2020-01-06 12:02:47 +0100 |
|---|---|---|
| committer | SimonBoulier | 2020-01-08 12:01:31 +0100 |
| commit | faa2b32bac7454bcec366d9790b6f14331e297b0 (patch) | |
| tree | 3c2bf096950c722a496ce215bff3830aadf915a9 /mathcomp/ssreflect/seq.v | |
| parent | c7fa2a1444d450bcebdeea47800fef1436690b6d (diff) | |
Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions