diff options
| author | Emilio Jesus Gallego Arias | 2018-07-11 18:32:37 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-07-12 16:23:51 +0200 |
| commit | 77e3b3c43aebe9ad18ac99b34cf6dfac1ecc93fd (patch) | |
| tree | 852d984f9c0f01dbc031670be8e3a172eb902e5f /doc/common/styles/html/coqremote/modules/node/node.css | |
| 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 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions