diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-28 13:11:33 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-28 13:11:33 -0400 |
| commit | 05c101daeef6358bfc64e5997c8b8aea7d03f30d (patch) | |
| tree | 09ed06bd363c4f7817c2e12560372965a6ff0af0 /src/Spec | |
| parent | 920dbb90413ecf64424799e2eec15dbc02d1dbfb (diff) | |
Fix nth_default for the tip of v8.6
This is bug #5497, https://coq.inria.fr/bugs/show_bug.cgi?id=5497, Coq
v8.6 has weaker pattern matching than Coq 8.6 (regression)
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions