aboutsummaryrefslogtreecommitdiff
path: root/lib/checks
diff options
context:
space:
mode:
authorChimrod <>2024-12-28 09:57:05 +0100
committerChimrod <>2024-12-28 09:57:15 +0100
commit289dc576624d4233116806e566bb791fee1de178 (patch)
tree775b292c5f66c3cc6725511c5341e9ee7fd5790a /lib/checks
parent9b831d2a2401c771cf43a37b27c8909d6b9c9ba8 (diff)
Changed the error message for duplicated cases from Error to Warning
Diffstat (limited to 'lib/checks')
-rw-r--r--lib/checks/dup_test.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/checks/dup_test.ml b/lib/checks/dup_test.ml
index e392445..9ffe7c5 100644
--- a/lib/checks/dup_test.ml
+++ b/lib/checks/dup_test.ml
@@ -185,7 +185,7 @@ module Location = struct
(* 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)
+ Some (Report.warn hd message)
let v : t -> Report.t list =
fun t -> List.filter_map t ~f:v' |> List.sort_uniq ~cmp:Report.compare