From 477e9cc7ca542ed82ad986530f489501bed1320f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Nov 2024 12:20:25 -0500 Subject: [PATCH] remove warning in tests --- src/core/tests/dune | 2 +- tests/data/dune | 2 +- tests/pvec/dune | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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)