From 4a2b9073e61de1ab000b26652d94e63b382ce7d2 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 3 Dec 1999 16:23:22 +0000
Subject: bug make_strength repare

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@200 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/declare.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'library')

diff --git a/library/declare.ml b/library/declare.ml
index 91fcc7df6c..1a1d46d3f0 100644
--- a/library/declare.ml
+++ b/library/declare.ml
@@ -25,11 +25,13 @@ let make_strength = function
 let make_strength_0 () = make_strength (Lib.cwd())
 
 let make_strength_1 () =
-  let path = try List.tl (List.tl (Lib.cwd())) with Failure _ -> [] in
+  let cwd = Lib.cwd() in
+  let path = try list_firstn (List.length cwd - 1) cwd with Failure _ -> [] in
   make_strength path
 
 let make_strength_2 () =
-  let path = try List.tl (Lib.cwd()) with Failure _ -> [] in
+  let cwd = Lib.cwd() in
+  let path = try list_firstn (List.length cwd - 2) cwd with Failure _ -> [] in
   make_strength path
 
 
-- 
cgit v1.2.3