diff options
Diffstat (limited to 'engine')
| -rw-r--r-- | engine/evd.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/engine/evd.ml b/engine/evd.ml index bffb407274..7006fde3cc 100644 --- a/engine/evd.ml +++ b/engine/evd.ml @@ -1299,6 +1299,7 @@ let pr_decl (decl,ok) = print_constr c ++ str (if ok then ")" else "}") let pr_evar_source = function + | Evar_kinds.NamedHole id -> pr_id id | Evar_kinds.QuestionMark _ -> str "underscore" | Evar_kinds.CasesType false -> str "pattern-matching return predicate" | Evar_kinds.CasesType true -> |