diff options
Diffstat (limited to 'test/dup_cases.ml')
| -rw-r--r-- | test/dup_cases.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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"; }; |