diff options
Diffstat (limited to 'utils/warnings.mli')
| -rw-r--r-- | utils/warnings.mli | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli index 1c2c66a49e..99c153ffd6 100644 --- a/utils/warnings.mli +++ b/utils/warnings.mli @@ -45,12 +45,13 @@ type t = | Wildcard_arg_to_constant_constr (* 28 *) | Eol_in_string (* 29 *) | Duplicate_definitions of string * string * string * string (*30 *) - | Unused_value_declaration of string (* 31 *) - | Unused_open of string (* 32 *) - | Unused_type_declaration of string (* 33 *) - | Unused_for_index of string (* 34 *) - | Unused_ancestor of string (* 35 *) - | Unused_constructor of string (* 36 *) + | Multiple_definition of string * string * string (* 31 *) + | Unused_value_declaration of string (* 32 *) + | Unused_open of string (* 33 *) + | Unused_type_declaration of string (* 34 *) + | Unused_for_index of string (* 35 *) + | Unused_ancestor of string (* 36 *) + | Unused_constructor of string (* 37 *) ;; val parse_options : bool -> string -> unit;; |