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.
tmp_path: *add* path;
authorwenzelm
Mon, 12 Jul 1999 22:23:59 +0200
changeset 6978 a5b67157b94d
parent 6977 4781c0673e83
child 6979 4b9963810121
tmp_path: *add* path;
src/Pure/Thy/thy_load.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_load.ML	Mon Jul 12 22:23:31 1999 +0200
+++ b/src/Pure/Thy/thy_load.ML	Mon Jul 12 22:23:59 1999 +0200
@@ -81,7 +81,7 @@
 (* check_thy *)
 
 fun tmp_path path f x =
-  if Path.is_current path then f x else Library.setmp load_path [path] f x;
+  if Path.is_current path then f x else Library.setmp load_path (path :: ! load_path) f x;
 
 fun check_thy_aux name ml =
   (case check_file (thy_path name) of
isabelle