1.1 --- a/src/Tools/Code/code_target.ML	Sat Jul 21 17:49:22 2012 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Sat Jul 21 20:01:16 2012 +0200
     1.3 @@ -373,7 +373,8 @@
     1.4  fun assert_module_name "" = error ("Empty module name not allowed.")
     1.5    | assert_module_name module_name = module_name;
     1.6  
     1.7 -fun using_master_directory thy = Option.map (Path.append (Thy_Load.master_directory thy));
     1.8 +fun using_master_directory thy =
     1.9 +  Option.map (Path.append (File.pwd ()) o Path.append (Thy_Load.master_directory thy));
    1.10  
    1.11  in
    1.12