From bd476e121dae0b89c5e740753fbce1f0f46180f9 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 8 Jan 2019 11:27:27 +0100
Subject: Removed warning 42 from OCaml

CompCert does not support OCaml version <= 4.00
---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index a1c2ef7c..3da757cf 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -49,7 +49,7 @@ INCLUDES=$(patsubst %,-I %, $(DIRS))
 
 # Control of warnings:
 
-WARNINGS=-w +a-4-9-27 -strict-sequence -safe-string -warn-error +a #Deprication returns with ocaml 4.03
+WARNINGS=-w +a-4-9-27-42 -strict-sequence -safe-string -warn-error +a #Deprication returns with ocaml 4.03
 extraction/%.cmx: WARNINGS +=-w -20-27-32..34-39-41-44..45
 extraction/%.cmo: WARNINGS +=-w -20-27-32..34-39-41-44..45
 cparser/pre_parser.cmx: WARNINGS += -w -41
-- 
cgit