diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/himsg.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml index 891662b93a..6cff805fc2 100644 --- a/toplevel/himsg.ml +++ b/toplevel/himsg.ml @@ -532,6 +532,8 @@ let pr_trailing_ne_context_of env sigma = else (str " in environment:"++ pr_context_unlimited env sigma) let rec explain_evar_kind env sigma evk ty = function + | Evar_kinds.NamedHole id -> + strbrk "the existential variable named " ++ pr_id id | Evar_kinds.QuestionMark _ -> strbrk "this placeholder of type " ++ ty | Evar_kinds.CasesType false -> |