From 20d0d88a6a183e80a1cb712610b8406644499f99 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 26 Aug 2021 10:13:39 +0200
Subject: [PATCH] Disable warning 70 in fuzz/.

---
 fuzz/emulated/array/src/dune | 2 +-
 fuzz/emulated/queue/src/dune | 2 +-
 fuzz/emulated/stack/src/dune | 2 +-
 fuzz/src/dune                | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/fuzz/emulated/array/src/dune b/fuzz/emulated/array/src/dune
index 80a555c..607c386 100644
--- a/fuzz/emulated/array/src/dune
+++ b/fuzz/emulated/array/src/dune
@@ -1,5 +1,5 @@
 (executable
   (name Main)
-  (flags (:standard -w A-4-44 -g))
+  (flags (:standard -w A-4-44-70 -g))
   (libraries sek monolith)
 )
diff --git a/fuzz/emulated/queue/src/dune b/fuzz/emulated/queue/src/dune
index 80a555c..607c386 100644
--- a/fuzz/emulated/queue/src/dune
+++ b/fuzz/emulated/queue/src/dune
@@ -1,5 +1,5 @@
 (executable
   (name Main)
-  (flags (:standard -w A-4-44 -g))
+  (flags (:standard -w A-4-44-70 -g))
   (libraries sek monolith)
 )
diff --git a/fuzz/emulated/stack/src/dune b/fuzz/emulated/stack/src/dune
index 80a555c..607c386 100644
--- a/fuzz/emulated/stack/src/dune
+++ b/fuzz/emulated/stack/src/dune
@@ -1,5 +1,5 @@
 (executable
   (name Main)
-  (flags (:standard -w A-4-44 -g))
+  (flags (:standard -w A-4-44-70 -g))
   (libraries sek monolith)
 )
diff --git a/fuzz/src/dune b/fuzz/src/dune
index 6fa32fc..19e347e 100644
--- a/fuzz/src/dune
+++ b/fuzz/src/dune
@@ -1,5 +1,5 @@
 (executable
   (name Main)
-  (flags (:standard -w A-4-44-60 -g))
+  (flags (:standard -w A-4-44-70-60 -g))
   (libraries sek monolith)
 )
-- 
GitLab