diff options
| author | Enrico Tassi | 2020-01-21 07:49:42 +0100 |
|---|---|---|
| committer | GitHub | 2020-01-21 07:49:42 +0100 |
| commit | d3f5e11aa1bbdf6ee4a111bf4641d162d289340f (patch) | |
| tree | cfbffa5bcb66e1eb27c14eb79c1aea01fe3b758f /mathcomp/ssreflect/seq.v | |
| parent | 2646a263ba499f50ad09816ef76bea683517da26 (diff) | |
| parent | faa2b32bac7454bcec366d9790b6f14331e297b0 (diff) | |
Merge pull request #452 from SimonBoulier/non_maximal_implicit
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