From dd16448f54b3a7d754b7e511e08b992d3fefc27e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 21 Nov 2006 21:51:18 +0000
Subject: Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les
 noms de chemin physique : expansion uniquement pour Load, Add LoadPath,
 Declare ML Module, Cd, ... mais pas pour les options -I, -boot, -R,
 -load-vernac-file, ...

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

(limited to 'lib/system.mli')

diff --git a/lib/system.mli b/lib/system.mli
index d003a16496..1292ec77d3 100644
--- a/lib/system.mli
+++ b/lib/system.mli
@@ -26,7 +26,7 @@ val string_of_physical_path : physical_path -> string
 val make_suffix : string -> string -> string
 val file_readable_p : string -> bool
 
-val glob : string -> string
+val expand_path_macros : string -> string
 val getenv_else : string -> string -> string
 val home : string
 
-- 
cgit v1.2.3