diff options
| author | jkloos | 2017-10-18 19:55:16 +0200 |
|---|---|---|
| committer | Johannes Kloos | 2017-10-24 23:48:53 +0200 |
| commit | 5a7ca0b267e8531137d302b9c54b41bed097085f (patch) | |
| tree | a373bb398d043b2f3690a4bb4913acedd3180ef6 /API/API.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 'API/API.mli')
0 files changed, 0 insertions, 0 deletions