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

1 files changed, 1 insertions, 1 deletions

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