From f911ad91a46ea6445a533d76ffa388332dd2ae30 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 3 Oct 2014 14:27:07 +0200
Subject: Fixing ennoying warning about evars named ?23 and so on.

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

diff --git a/pretyping/evd.ml b/pretyping/evd.ml
index 95b7e044b7..822a3cb7c0 100644
--- a/pretyping/evd.ml
+++ b/pretyping/evd.ml
@@ -829,7 +829,7 @@ let evar_ident evk evd =
   try EvMap.find evk (fst evd.evar_names)
   with Not_found ->
     (* Unnamed (non-dependent) evar *)
-    Id.of_string (string_of_existential evk)
+    add_suffix (Id.of_string "X") (string_of_int (Evar.repr evk))
 
 let evar_key id evd =
   Idmap.find id (snd evd.evar_names)
-- 
cgit v1.2.3