diff options
Diffstat (limited to 'pretyping')
-rw-r--r-- | pretyping/detyping.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/detyping.ml b/pretyping/detyping.ml index df3d243f1..205c5a208 100644 --- a/pretyping/detyping.ml +++ b/pretyping/detyping.ml @@ -413,7 +413,7 @@ let rec detype flags avoid env sigma t = | Meta n -> (* Meta in constr are not user-parsable and are mapped to Evar *) (* using numbers to be unparsable *) - GEvar (dl, Id.of_string (string_of_int n), []) + GEvar (dl, Id.of_string ("M" ^ string_of_int n), []) | Var id -> (try let _ = Global.lookup_named id in GRef (dl, VarRef id, None) with Not_found -> GVar (dl, id)) |