From 289dc576624d4233116806e566bb791fee1de178 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 28 Dec 2024 09:57:05 +0100 Subject: Changed the error message for duplicated cases from Error to Warning --- lib/checks/dup_test.ml | 2 +- test/dup_cases.ml | 4 ++-- 2 files changed, 3 insertions(+), 3 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 diff --git a/test/dup_cases.ml b/test/dup_cases.ml index 8d4274e..8b9f846 100644 --- a/test/dup_cases.ml +++ b/test/dup_cases.ml @@ -59,7 +59,7 @@ end |} [ { - level = Error; + level = Warn; loc = _position; message = "This case is duplicated line(s) 5"; }; @@ -79,7 +79,7 @@ end |} [ { - level = Error; + level = Warn; loc = _position; message = "This case is duplicated line(s) 6"; }; -- cgit v1.2.3