diff options
| author | Maxime Dénès | 2017-09-25 10:49:18 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-25 10:49:18 +0200 |
| commit | 43cd1660807b7da915d405d7aa9af8082b5d85f6 (patch) | |
| tree | 6ed698aed58641eee9608a41b310e0bc7517c0b0 /kernel/nativecode.mli | |
| parent | f48ada1566daa5245244be3706c1b8c71237c374 (diff) | |
| parent | 6d1b7368267a4da980980efa682cf3fb8f1e8394 (diff) | |
Merge PR #1083: Fixing bug in building _rect scheme for inductive types with let-ins and non-recursively uniform parameters
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions