diff options
Diffstat (limited to 'pretyping/pattern.ml')
| -rw-r--r-- | pretyping/pattern.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pretyping/pattern.ml b/pretyping/pattern.ml index 0a3f6d995a..93500fd546 100644 --- a/pretyping/pattern.ml +++ b/pretyping/pattern.ml @@ -21,9 +21,14 @@ open Pp (* Metavariables *) type patvar_map = (patvar * constr) list -let patvar_of_int n = Names.id_of_string ("X" ^ string_of_int n) +let patvar_of_int n = + let p = if !Options.v7 & not (Options.do_translate ()) then "?" else "X" + in + Names.id_of_string (p ^ string_of_int n) let pr_patvar = pr_id +let patvar_of_int_v7 n = Names.id_of_string ("?" ^ string_of_int n) + (* Patterns *) type constr_pattern = |