diff options
Diffstat (limited to 'test')
| -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 4ae95b1..39bea23 100644 --- a/test/dup_cases.ml +++ b/test/dup_cases.ml @@ -60,7 +60,7 @@ end |} [ { - level = Warn; + level = Error; loc = _position; message = "This case is duplicated line(s) 5"; }; @@ -80,7 +80,7 @@ end |} [ { - level = Warn; + level = Error; loc = _position; message = "This case is duplicated line(s) 6"; }; |