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 db74e5aa18..41ce6f1da0 100644 --- a/toplevel/himsg.ml +++ b/toplevel/himsg.ml @@ -498,6 +498,8 @@ let explain_evar_kind env evi = function str "the type of an impossible pattern-matching clause" | Evar_kinds.MatchingVar _ -> assert false + | Evar_kinds.VarInstance id -> + str "an instance for the variable " ++ pr_id id let explain_unsolvability = function | None -> mt() |