diff options
Diffstat (limited to 'intf/misctypes.ml')
| -rw-r--r-- | intf/misctypes.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/intf/misctypes.ml b/intf/misctypes.ml index 8b7073143..87484ccd5 100644 --- a/intf/misctypes.ml +++ b/intf/misctypes.ml @@ -61,12 +61,13 @@ type existential_key = Evar.t (** Case style, shared with Term *) -type case_style = Term.case_style = +type case_style = Constr.case_style = | LetStyle | IfStyle | LetPatternStyle | MatchStyle | RegularStyle (** infer printing form from number of constructor *) +[@@ocaml.deprecated "Alias for Constr.case_style"] (** Casts *) |