Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
check_file: keep expanded (!) absolute path;
authorwenzelm
Wed, 19 Apr 2000 13:20:16 +0200
changeset 8750 36b165788421
parent 8749 2665170f104a
child 8751 9ed0548177fb
check_file: keep expanded (!) absolute path;
src/Pure/Thy/thy_load.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_load.ML	Wed Apr 19 12:59:38 2000 +0200
+++ b/src/Pure/Thy/thy_load.ML	Wed Apr 19 13:20:16 2000 +0200
@@ -70,7 +70,7 @@
     val path = Path.expand src_path;
 
     fun find_ext rel_path ext =
-      let val ext_path = Path.ext ext rel_path
+      let val ext_path = Path.expand (Path.ext ext rel_path)
       in apsome (fn info => (File.full_path ext_path, info)) (File.info ext_path) end;
 
     fun find_dir dir =
isabelle