diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-11 18:32:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-07-12 16:23:51 +0200 |
| commit | 77e3b3c43aebe9ad18ac99b34cf6dfac1ecc93fd (patch) | |
| tree | 852d984f9c0f01dbc031670be8e3a172eb902e5f /theories/ZArith/Zgcd_alt.v | |
| 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 'theories/ZArith/Zgcd_alt.v')
0 files changed, 0 insertions, 0 deletions