From c70ee60ed1603658eb33f4ae39b1a0be81bf45c6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 17 Oct 2015 17:29:19 +0200
Subject: Using "__" rather than this unelegant arbitrary "A" for the name of
 variables of the context of an evar in debugging mode.

---
 pretyping/detyping.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
cgit v1.2.3