From 4fa753561b2815f0455c455ac970759c2ac8ef7a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 23 Feb 2020 17:38:44 -0500
Subject: [configure] Disable warning 67 which seems 100% bogus

---
 configure.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index ee2e50ef86..eaa0e321b0 100644
--- a/configure.ml
+++ b/configure.ml
@@ -616,8 +616,9 @@ let camltag = match caml_version_list with
     45: "open" shadowing a label or constructor: see 44
     48: implicit elimination of optional arguments: too common
     58: "no cmx file was found in path": See https://github.com/ocaml/num/issues/9
+    67: "unused functor parameter" seems totally bogus
 *)
-let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-58"
+let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-58-67"
 let coq_warn_error =
     if !prefs.warn_error
     then "-warn-error +a"
-- 
cgit v1.2.3