diff --git a/src/core/tests/dune b/src/core/tests/dune index 2f11a449..be3eb1b3 100644 --- a/src/core/tests/dune +++ b/src/core/tests/dune @@ -1,7 +1,7 @@ (executable (name check_labelled_mods) (modules check_labelled_mods) - (flags :standard -warn-error -a -w -3-33-35-27-39-50-60 -nolabels) + (flags :standard -warn-error -a -w -3-33-35-27-39-48-50-60 -nolabels) (libraries containers)) (executable diff --git a/tests/data/dune b/tests/data/dune index 9c54035f..5bd0a3c5 100644 --- a/tests/data/dune +++ b/tests/data/dune @@ -1,6 +1,6 @@ (test (name t) - (flags :standard -strict-sequence -warn-error -a+8) + (flags :standard -strict-sequence -warn-error -a+8 -w -48) (modes (best exe)) (package containers-data) diff --git a/tests/pvec/dune b/tests/pvec/dune index e78c93ef..19c78572 100644 --- a/tests/pvec/dune +++ b/tests/pvec/dune @@ -1,6 +1,6 @@ (test (name t) - (flags :standard -strict-sequence -warn-error -a+8) + (flags :standard -strict-sequence -warn-error -a+8 -w -48) (modes (best exe)) (package containers)