diff options
| author | Hugo Herbelin | 2014-10-03 14:27:07 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-03 14:37:25 +0200 |
| commit | f911ad91a46ea6445a533d76ffa388332dd2ae30 (patch) | |
| tree | aa5de02fa3f67d2a8ee79ffd27966c62ecd7a946 | |
| parent | 8a26545845dc885d181486188b9a0ca4c15f51d6 (diff) | |
Fixing ennoying warning about evars named ?23 and so on.
| -rw-r--r-- | pretyping/evd.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) |