From 48f87d854dd9676215ce1a13f06c957b13af732b Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 16 May 2013 18:12:35 +0000
Subject: Fixing Pp.strbrk which was reversing words.

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

(limited to 'lib/pp.ml')

diff --git a/lib/pp.ml b/lib/pp.ml
index ba6987221..427c60b8f 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -171,7 +171,7 @@ let strbrk s =
 	else str (String.sub s p (n-p)) :: spc () :: aux (n+1) (n+1)
       else aux p (n + 1)
     else if p = n then [] else [str (String.sub s p (n-p))]
-  in List.fold_left (++) Glue.empty (List.rev (aux 0 0))
+  in List.fold_left (++) Glue.empty (aux 0 0)
 
 let ismt = is_empty
 
-- 
cgit v1.2.3