src/Pure/pure_syn.ML

--- a/src/Pure/pure_syn.ML	Sat Nov 16 17:39:11 2013 +0100
+++ b/src/Pure/pure_syn.ML	Sat Nov 16 17:52:01 2013 +0100
@@ -14,7 +14,7 @@
     (Thy_Header.args >> (fn header =>
       Toplevel.print o
         Toplevel.init_theory
-          (fn () => Thy_Info.toplevel_begin_theory (Thy_Load.get_master_path ()) header)));
+          (fn () => Thy_Info.toplevel_begin_theory (! ProofGeneral.master_path) header)));
 
 val _ =
   Outer_Syntax.command