From 72a492aca3548056d225a846fad5fcf3e1a0efba Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Wed, 29 Nov 2000 13:54:06 +0000
Subject: load_path_entry structure simplified; field relative_subdir renamed
 to coq_dirpath

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

diff --git a/toplevel/mltop.ml4 b/toplevel/mltop.ml4
index e1ed881930..67fc23a2f1 100644
--- a/toplevel/mltop.ml4
+++ b/toplevel/mltop.ml4
@@ -36,7 +36,7 @@ open Vernacinterp
 let coq_mlpath_copy = ref []
 let keep_copy_mlpath s = 
   let dir = glob s in
-  let lpe = { directory = dir; root_dir = dir; relative_subdir = [] } in
+  let lpe = { directory = dir; coq_dirpath = [] } in
   coq_mlpath_copy := lpe :: !coq_mlpath_copy
 
 (* If there is a toplevel under Coq *)
-- 
cgit v1.2.3