diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 15:28:18 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 15:28:18 +0200 |
| commit | bd1a0abf49fe67e7f02dc562d4b81d27ed6f606c (patch) | |
| tree | 3c090952c7931e03ceaf83e1b1f0fec06af711e2 /kernel/inductive.ml | |
| parent | 941f92a8b623b3d79fb0802e0b47709a7b50f275 (diff) | |
| parent | eca3f65315aae5923bd3d6dc6c3dcfe20da8866b (diff) | |
Merge PR #918: Extraction: do not mix Haskell types Any and () (fix bugs 4844 and 4824)
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions