From f0ef4e792d41249921eabe951b73fbc8c956484e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 4 Nov 2005 09:01:11 +0000
Subject: Confusion message erreur détectée par nouveau warning X de ocaml 3.09

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7509 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tactics/tacinterp.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tactics/tacinterp.ml b/tactics/tacinterp.ml
index c27e35dad1..79b3b330de 100644
--- a/tactics/tacinterp.ml
+++ b/tactics/tacinterp.ml
@@ -1567,8 +1567,7 @@ and interp_match_context ist g lz lr lmr =
         | PatternMatchingFailure ->
            apply_match_context ist env goal (nrs+1) (List.tl lex) tl))
     | _ ->
-      errorlabstrm "Tacinterp.apply_match_context" (str
-        "No matching clauses for match goal")
+      errorlabstrm "Tacinterp.apply_match_context"
         (v 0 (str "No matching clauses for match goal" ++
         (if ist.debug=DebugOff then
            fnl() ++ str "(use \"Debug On\" for more info)"
-- 
cgit v1.2.3