From 371c5518fd1cd7d0369984c8198d4e6c142bd332 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Thu, 28 Mar 2024 17:01:36 +0100
Subject: Raise the message level from Warning to Error for duplicated
 predicates check
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/dup_cases.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/dup_cases.ml')

diff --git a/test/dup_cases.ml b/test/dup_cases.ml
index 4ae95b1..39bea23 100644
--- a/test/dup_cases.ml
+++ b/test/dup_cases.ml
@@ -60,7 +60,7 @@ end
 |}
     [
       {
-        level = Warn;
+        level = Error;
         loc = _position;
         message = "This case is duplicated line(s) 5";
       };
@@ -80,7 +80,7 @@ end
 |}
     [
       {
-        level = Warn;
+        level = Error;
         loc = _position;
         message = "This case is duplicated line(s) 6";
       };
-- 
cgit v1.2.3