From 239cf334fcc844f06a9e6ea2e6745d2fa8915325 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 17 Oct 2014 13:58:52 +0200
Subject: Re-displaying evar instances in debugger.

---
 pretyping/detyping.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pretyping/detyping.ml b/pretyping/detyping.ml
index 1e5d784ea1..605d59135b 100644
--- a/pretyping/detyping.ml
+++ b/pretyping/detyping.ml
@@ -499,7 +499,11 @@ let rec detype flags avoid env sigma t =
 		    isRelN n c 
 	      with Not_found -> isVarId id c) 
 	    (Evd.find sigma evk) cl
-        with Not_found -> Id.of_string ("X" ^ string_of_int (Evar.repr evk)), [] in
+        with Not_found ->
+          Id.of_string ("X" ^ string_of_int (Evar.repr evk)), 
+          (List.map_i (fun i c -> (Id.of_string ("A" ^ string_of_int i),c))
+             1 (Array.to_list cl))
+      in
         GEvar (dl,id,
                List.map (on_snd (detype flags avoid env sigma)) l)
     | Ind (ind_sp,u) ->
-- 
cgit v1.2.3