From 6c1252f79558ee15a1f49945581caa24b487c547 Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 24 Sep 2024 11:14:56 +0200
Subject: [PATCH] Silence warnings

---
 src/gc/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gc/dune b/src/gc/dune
index 917f750d..93008e3d 100644
--- a/src/gc/dune
+++ b/src/gc/dune
@@ -4,6 +4,7 @@
  (name stm_tests)
  (modules stm_tests)
  (package multicoretests)
+ (flags (:standard -w -37))
  (libraries qcheck-stm.sequential qcheck-stm.domain)
  (action (run %{test} --verbose))
 )