diff options
| author | Matthieu Sozeau | 2015-10-14 16:39:09 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-14 17:06:49 +0200 |
| commit | b8c681338cad546c397a1803c55183cc6526adfb (patch) | |
| tree | 9eb2e8e420676e4e0a54a7cddd5475ef5cb21eca /kernel/nativecode.ml | |
| parent | 5009be2f117a5ef27733b7d6895503af91e9aa34 (diff) | |
Fix constr_matching when a match is found in the head of a case construct
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions