Bug de traduction des Path

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1071 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/parsing/ast.ml b/parsing/ast.ml
index ca864ac056..13a9c0d41d 100755
--- a/parsing/ast.ml
+++ b/parsing/ast.ml
@@ -44,7 +44,7 @@ let rec set_loc loc = function
 
 let path_section loc sp =
   let (sl,bn,pk) = repr_path sp in
-  Coqast.Path(loc,List.rev(string_of_id bn :: sl), string_of_kind pk)
+  Coqast.Path(loc, string_of_id bn :: (List.rev sl), string_of_kind pk)
 
 let section_path sl k =
   match List.rev sl with