diff options
| author | Hugo Herbelin | 2014-10-22 10:32:45 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-22 11:04:30 +0200 |
| commit | 2592ea6490cdf799432260c99a934605a2739849 (patch) | |
| tree | 11f8e09fd434270694090194eebe708cefdfef11 /kernel/nativecode.ml | |
| parent | c25ff7718d77e4aba0827c4d45a507ed49db72e0 (diff) | |
Fixing an evar leak in pattern-matching compilation (#3758).
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions