From 55ce117e8083477593cf1ff2e51a3641c7973830 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Tue, 13 Feb 2007 13:48:12 +0000
Subject: Imported Upstream version 8.1+dfsg

---
 tools/coq-tex.ml4 | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/coq-tex.ml4 b/tools/coq-tex.ml4
index 7565c22e..d55901b9 100644
--- a/tools/coq-tex.ml4
+++ b/tools/coq-tex.ml4
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: coq-tex.ml4 5920 2004-07-16 20:01:26Z herbelin $ *)
+(* $Id: coq-tex.ml4 9551 2007-01-29 15:13:35Z bgregoir $ *)
 
 (* coq-tex
  * JCF, 16/1/98
@@ -92,9 +92,9 @@ let tex_escaped s =
     | [< s1 = (parser 
 		 | [< ''_'|'$'|'{'|'}'|'&'|'%'|'#' as c >] -> 
 		     "\\" ^ (String.make 1 c)
-		 | [< ''\\' >] -> "\\char'134" 
-		 | [< ''^'  >] -> "\\char'136" 
-		 | [< ''~'  >] -> "\\char'176"
+		 | [< ''\\' >] -> "{\\char'134}" 
+		 | [< ''^'  >] -> "{\\char'136}" 
+		 | [< ''~'  >] -> "{\\char'176}"
 		 | [< '' '  >] -> "~"
 		 | [< ''<'  >] -> "{<}"
 		 | [< ''>'  >] -> "{>}"
-- 
cgit v1.2.3