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

---
 lib/syntax/dup_test.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/syntax/dup_test.ml')

diff --git a/lib/syntax/dup_test.ml b/lib/syntax/dup_test.ml
index 7086a6f..20faa56 100644
--- a/lib/syntax/dup_test.ml
+++ b/lib/syntax/dup_test.ml
@@ -179,8 +179,9 @@ module Location = struct
             tl
         in
 
-        (* Ignore the first case, and report all the following ones *)
-        Some (Report.warn hd message)
+        (* Report all the messages as error. They do not break the game, but
+           there is no question if it should *)
+        Some (Report.error hd message)
 
   let v : t -> Report.t list =
    fun t -> List.filter_map t ~f:v' |> List.sort_uniq ~cmp:Report.compare
-- 
cgit v1.2.3