diff options
| author | Maxime Dénès | 2017-04-03 11:16:34 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-04-03 11:16:34 +0200 |
| commit | 2cb863af37c56f01d3b96058ab83fc7f94a542a8 (patch) | |
| tree | 2d651bbb009bb0b4d7764433d6fbcfa89f3b6494 /mathcomp/_CoqProject | |
| parent | caeeae8dcf76d494b20d7970b7e9e7022be96321 (diff) | |
Adapt the ssr plugin to Coq's PR#417.
Let-ins in constrexpr and glob_constr now take an optional type, instead
of relying on a cast in the body.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions