diff options
author | 2018-07-11 18:32:37 +0200 | |
---|---|---|
committer | 2018-07-12 16:23:51 +0200 | |
commit | 77e3b3c43aebe9ad18ac99b34cf6dfac1ecc93fd (patch) | |
tree | 852d984f9c0f01dbc031670be8e3a172eb902e5f /kernel/reduction.mli | |
parent | c05283cb80f81c521bb3a0d8e742d693b7db1a64 (diff) |
[warnings] Disable warning 59 [assignment to a non-mutable value] to make flambda happy.
See issue #8043.
Using `[@@@ocaml.warning "-59"]` to disable this fails, it seems like
an OCaml bug.
Diffstat (limited to 'kernel/reduction.mli')
0 files changed, 0 insertions, 0 deletions