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 ccadb1a8bc..abb4bf0a9c 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -434,7 +434,7 @@ let message = function Printf.sprintf "the argument of this constructor should not be matched against a\n\ constant pattern; the actual value of the argument could change\n\ - in the future" + in the future." | Unreachable_case -> "this match case is unreachable.\n\ Consider replacing it with a refutation case '<pat> -> .'" |