diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-27 14:24:19 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-02-27 16:59:29 +0100 |
| commit | 172388eab4f34da71d82c4fab269bd6426c73853 (patch) | |
| tree | d92e642bdcbb9f805c61ca7a7652b1cc9205a86d /kernel/safe_typing.ml | |
| parent | 1388171a48d8e068d5d0ed93b74faa4ac7da5f7f (diff) | |
Fixing first part of bug #3210 (inference of pattern-matching return
clause in the presence of let-ins in the arity of inductive type).
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions