# HG changeset patch
# User wenzelm
# Date 931811039 -7200
# Node ID a5b67157b94dc74bf3e98ecc81ebdd189f66e619
# Parent  4781c0673e83da38a32a1a1de7563af0b286d179
tmp_path: *add* path;

diff -r 4781c0673e83 -r a5b67157b94d src/Pure/Thy/thy_load.ML
--- 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