From 4b6b6ba87ee19854bb8464cb248fcf40f0b965e1 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 13 Sep 2010 22:48:18 +0000
Subject: Fix unescaped end-of-lines (OCaml warning 29)

See http://caml.inria.fr/mantis/view.php?id=4940

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

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 8bb240d6e..6316228e7 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1395,7 +1395,7 @@ let internalize sigma globalenv env allow_patvar lvar c =
       | (imp::impl', []) ->
 	  if eargs <> [] then
 	    (let (id,(loc,_)) = List.hd eargs in
-	       user_err_loc (loc,"",str "Not enough non implicit
+	       user_err_loc (loc,"",str "Not enough non implicit \
 	    arguments to accept the argument bound to " ++
 		 pr_id id ++ str"."));
 	  []
-- 
cgit v1.2.3