diff options
| author | Maxime Dénès | 2014-11-10 14:23:56 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2014-11-10 14:23:56 +0100 |
| commit | 33bf52f9881fb457f566478ade3f92550b91c6ba (patch) | |
| tree | 9b356d23531f62cf361dc3016585d005989a1b40 /kernel/modops.ml | |
| parent | f361f6b0316ed32a120b9133d5583caea777207f (diff) | |
Fix #3282: VM confused by let bindings in fixpoints.
I'm afraid this fix is a bit heuristic, but it seems to generate correct code in
all cases.
Diffstat (limited to 'kernel/modops.ml')
0 files changed, 0 insertions, 0 deletions