aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/checks/dup_test.ml2
-rw-r--r--test/dup_cases.ml4
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";
};