From 37817bb5ac6bb9fa9a4d67a5604a35424f7b343d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 9 Jan 2017 16:40:08 +0100
Subject: OCaml's -dtypes flag is deprecated and replaced by -annot.

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

diff --git a/configure.ml b/configure.ml
index d6552687c1..f75bbb538c 100644
--- a/configure.ml
+++ b/configure.ml
@@ -381,7 +381,7 @@ let coq_debug_flag = if !Prefs.debug then "-g" else ""
 let coq_profile_flag = if !Prefs.profile then "-p" else ""
 let coq_annotate_flag =
   if !Prefs.annotate
-  then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes"
+  then if program_in_path "ocamlmerlin" then "-bin-annot" else "-annot"
   else ""
 
 let cflags = "-Wall -Wno-unused -g -O2"
-- 
cgit v1.2.3