From 0f500f2e7a3164df44a2b20e67550cb0072d8948 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 4 Jun 2012 17:18:31 +0000
Subject: Replacing some str with strbrk

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

(limited to 'pretyping/patternops.ml')

diff --git a/pretyping/patternops.ml b/pretyping/patternops.ml
index 1e73e2634..77d9cd963 100644
--- a/pretyping/patternops.ml
+++ b/pretyping/patternops.ml
@@ -273,7 +273,7 @@ let rec pat_of_raw metas vars = function
       PMeta None
   | GCast (_,c,_) ->
       Flags.if_warn
-        Pp.msg_warning (str "Cast not taken into account in constr pattern");
+        Pp.msg_warning (strbrk "Cast not taken into account in constr pattern");
       pat_of_raw metas vars c
   | GIf (_,c,(_,None),b1,b2) ->
       PIf (pat_of_raw metas vars c,
-- 
cgit v1.2.3