diff options
| author | Emilio Jesus Gallego Arias | 2018-09-26 16:12:06 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-26 16:34:11 +0200 |
| commit | 95485e0ba2eb5e700db0ada7a17c6c2513c2cc62 (patch) | |
| tree | bb4daa10a896e1ed20c708bcee0e8b5ce5dccc10 /configure.ml | |
| parent | f49928874b51458fb67e89618bb350ae2f3529e4 (diff) | |
[build] Re-enable warning 59.
After #8043 was fixed we can come back to a stricter warning profile
for flambda.
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 1c2edefc5c..1b0c592e46 100644 --- a/configure.ml +++ b/configure.ml @@ -649,9 +649,8 @@ let camltag = match caml_version_list with 50: unexpected documentation comment: too common and annoying to avoid 56: unreachable match case: the [_ -> .] syntax doesn't exist in 4.02.3 58: "no cmx file was found in path": See https://github.com/ocaml/num/issues/9 - 59: "potential assignment to a non-mutable value": See Coq's issue #8043 *) -let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50-58-59" +let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-50-58" let coq_warn_error = if !prefs.warn_error then "-warn-error +a" |