diff options
Diffstat (limited to 'utils/warnings.ml')
| -rw-r--r-- | utils/warnings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index 6ecdf382c9..44d5d2785c 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -392,7 +392,7 @@ let message = function Printf.sprintf "expected tailcall" | Unreachable_case -> "this match case is unreachable.\n\ - Consider replacing it with '<pat> -> _'" + Consider replacing it with a refutation case '<pat> -> .'" ;; let nerrors = ref 0;; |