src/Tools/Code/code_target.ML
changeset 56208 06cc31dff138
parent 56201 dd2df97b379b
child 56811 b66639331db5
     1.1 --- a/src/Tools/Code/code_target.ML	Tue Mar 18 16:45:14 2014 +0100
     1.2 +++ b/src/Tools/Code/code_target.ML	Tue Mar 18 17:39:03 2014 +0100
     1.3 @@ -380,7 +380,8 @@
     1.4    | assert_module_name module_name = module_name;
     1.5  
     1.6  fun using_master_directory ctxt =
     1.7 -  Option.map (Path.append (File.pwd ()) o Path.append (Thy_Load.master_directory (Proof_Context.theory_of ctxt)));
     1.8 +  Option.map (Path.append (File.pwd ()) o
     1.9 +    Path.append (Resources.master_directory (Proof_Context.theory_of ctxt)));
    1.10  
    1.11  in
    1.12