# HG changeset patch
# User haftmann
# Date 1342893676 -7200
# Node ID 7b03314ee2ac7159a03a6f27aea3e497350546b2
# Parent  6d7b6e47f3efe3b02394b8b1da109a4482d3e49d
also consider current working directory (cf. 3a5a5a992519)

diff -r 6d7b6e47f3ef -r 7b03314ee2ac src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Sat Jul 21 17:49:22 2012 +0200
+++ b/src/Tools/Code/code_target.ML	Sat Jul 21 20:01:16 2012 +0200
@@ -373,7 +373,8 @@
 fun assert_module_name "" = error ("Empty module name not allowed.")
   | assert_module_name module_name = module_name;
 
-fun using_master_directory thy = Option.map (Path.append (Thy_Load.master_directory thy));
+fun using_master_directory thy =
+  Option.map (Path.append (File.pwd ()) o Path.append (Thy_Load.master_directory thy));
 
 in