diff options
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 569e6ebd4..db82e523c 100644 --- a/configure.ml +++ b/configure.ml @@ -384,7 +384,7 @@ let coq_annotate_flag = then if program_in_path "ocamlmerlin" then "-bin-annot" else "-dtypes" else "" -let cflags = "-fno-defer-pop -Wall -Wno-unused" +let cflags = "-Wall -Wno-unused" (** * Architecture *) |