From 95485e0ba2eb5e700db0ada7a17c6c2513c2cc62 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 26 Sep 2018 16:12:06 +0200
Subject: [build] Re-enable warning 59.

After #8043 was fixed we can come back to a stricter warning profile
for flambda.
---
 configure.ml | 3 +--
 1 file changed, 1 insertion(+), 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"
-- 
cgit v1.2.3