diff options
| author |  jkloos <jkloos@mpi-sws.org> | 2017-10-18 19:55:16 +0200 |
|---|---|---|
| committer | Johannes Kloos <jkloos@mpi-sws.org> | 2017-10-24 23:48:53 +0200 |
| commit | 5a7ca0b267e8531137d302b9c54b41bed097085f (patch) | |
| tree | a373bb398d043b2f3690a4bb4913acedd3180ef6 /kernel/pre_env.mli | |
| parent | 0897d0f642c19419c513f9609782436bebf28f5b (diff) | |
Fix #5763: Strictly positive example is out of order.
I also renamed the type to nattree (see discussion on
https://github.com/coq/coq/pull/5979) to disambiguate from another,
earlier example.
Diffstat (limited to 'kernel/pre_env.mli')
0 files changed, 0 insertions, 0 deletions