From 32a61f390c8254bcff63d28ee542ae8d9461209c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 27 May 2024 12:34:05 +0200
Subject: [PATCH] [region] ranges & region map

---
 src/plugins/region/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/region/dune b/src/plugins/region/dune
index d9304aea103..5ec040bf5c2 100644
--- a/src/plugins/region/dune
+++ b/src/plugins/region/dune
@@ -32,7 +32,7 @@
 (library
   (name Region)
   (public_name frama-c-region.core)
-  (flags -open Frama_c_kernel :standard)
+  (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel unionFind)
   (instrumentation (backend landmarks))
   (instrumentation (backend bisect_ppx)))
-- 
GitLab