From 170ada5b9bf163a3274de2a2f6186262013cca09 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 21 Nov 2001 23:51:20 +0000
Subject: Amélioration message Cases

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2240 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/himsg.ml | 1 +
 1 file changed, 1 insertion(+)

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:";
-- 
cgit v1.2.3