From 7fc52da823d1640ed82229face3451b0d7702500 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 6 Dec 2000 13:05:52 +0000
Subject: Bug de traduction des Path

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

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
-- 
cgit v1.2.3