Raise the message level from Warning to Error for duplicated predicates check

2 files changed, 5 insertions, 4 deletions

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
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";
       };