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

1 files changed, 3 insertions, 2 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