diff options
Diffstat (limited to 'kernel/evd.ml')
| -rw-r--r-- | kernel/evd.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/evd.ml b/kernel/evd.ml index 52e1a936eb..dd387ddfb4 100644 --- a/kernel/evd.ml +++ b/kernel/evd.ml @@ -66,3 +66,7 @@ let is_defined sigma ev = not (info.evar_body = Evar_empty) let evar_hyps ev = get_globals (context ev.evar_env) + +let id_of_existential ev = + id_of_string ("?" ^ string_of_int ev) + |