diff options
| -rw-r--r-- | toplevel/himsg.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml index fb702de0f1..b0da5c41b9 100644 --- a/toplevel/himsg.ml +++ b/toplevel/himsg.ml @@ -546,6 +546,7 @@ let explain_non_exhaustive env pats = let explain_cannot_infer_predicate env typs = let pr_branch (cstr,typ) = + let cstr,_ = decompose_app cstr in [< 'sTR "For "; prterm_env env cstr; 'sTR " : "; prterm_env env typ >] in [<'sTR "Unable to unify the types found in the branches:"; |