From 0f412d6ac5338e66ceee5f46acde922e4bb154be Mon Sep 17 00:00:00 2001
From: bertot
Date: Tue, 18 Dec 2001 21:59:26 +0000
Subject: the function Ctast.section_path was wrong.  It performed two reverse
 operations on lists, which was equivalent to doing nothing.

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

diff --git a/contrib/interface/ctast.ml b/contrib/interface/ctast.ml
index b356f5b281..c5611f985a 100644
--- a/contrib/interface/ctast.ml
+++ b/contrib/interface/ctast.ml
@@ -18,7 +18,7 @@ let section_path sl =
   match List.rev sl with
     | s::pa ->
 	make_path
-	  (make_dirpath (List.rev (List.map id_of_string pa)))
+	  (make_dirpath (List.map id_of_string pa))
 	  (id_of_string s)
     | [] -> invalid_arg "section_path"
 
-- 
cgit v1.2.3