also consider current working directory (cf. 3a5a5a992519)
authorhaftmann
Sat, 21 Jul 2012 20:01:16 +0200
changeset 494417b03314ee2ac
parent 49434 6d7b6e47f3ef
child 49442 571cb1df0768
also consider current working directory (cf. 3a5a5a992519)
src/Tools/Code/code_target.ML
     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