diff --git a/fuzz/emulated/array/src/dune b/fuzz/emulated/array/src/dune index 80a555cbf5af135da94fe7bcc917be19651e0d9b..607c386070c3b4f84e0801a1167bc374bcf3bef4 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 80a555cbf5af135da94fe7bcc917be19651e0d9b..607c386070c3b4f84e0801a1167bc374bcf3bef4 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 80a555cbf5af135da94fe7bcc917be19651e0d9b..607c386070c3b4f84e0801a1167bc374bcf3bef4 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 6fa32fcdae6ee5d5a17e6d392ce65516e8365a92..19e347e9b6822a93d557d357cd158345fd78612d 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) )