diff options
| author | Jasper Hugunin | 2020-09-30 19:56:37 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-30 21:44:34 -0700 |
| commit | afe7005394721b81d32ab5300325c341f99473cf (patch) | |
| tree | 492a2a7b6f5ebfe599a735f6d770832edb81f9e5 /kernel/nativelambda.ml | |
| parent | 9c2228ff011dc6188b70084fa1e1a5158affcf24 (diff) | |
Fix combining uniform parameters and mutual inductives.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions