diff options
| author | Pierre Boutillier | 2014-02-28 17:22:48 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-28 17:29:13 +0100 |
| commit | 0adeb274a1ad0a1f12000b937314172b8779d92c (patch) | |
| tree | b1a1bb49d2d834021befe823a3b71a22272ef943 /kernel/nativecode.ml | |
| parent | 9ca0e6ae17453fcd01f4bd319e544950ca4ec838 (diff) | |
Fix bug 3245: 'simpl nomatch' argument annotation makes cbn go into an infinite loop.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions