diff options
| author | Hugo Herbelin | 2015-10-17 17:29:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-10-18 20:11:14 +0200 |
| commit | c70ee60ed1603658eb33f4ae39b1a0be81bf45c6 (patch) | |
| tree | 071e316d6b178745ad90ff4c21902afda427952f | |
| parent | a856dfb5ce98ea1a8e3961a64e533565387a8b31 (diff) | |
Using "__" rather than this unelegant arbitrary "A" for the name of variables of the context of an evar in debugging mode.
| -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 87f2550240..b5228094a2 100644 --- a/pretyping/detyping.ml +++ b/pretyping/detyping.ml @@ -513,7 +513,7 @@ let rec detype flags avoid env sigma t = id,l with Not_found -> Id.of_string ("X" ^ string_of_int (Evar.repr evk)), - (Array.map_to_list (fun c -> (Id.of_string "A",c)) cl) + (Array.map_to_list (fun c -> (Id.of_string "__",c)) cl) in GEvar (dl,id, List.map (on_snd (detype flags avoid env sigma)) l) |