src/Pure/pure_syn.ML

--- a/src/Pure/pure_syn.ML	Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Pure/pure_syn.ML	Fri Oct 31 11:18:17 2014 +0100
@@ -11,8 +11,7 @@
   Outer_Syntax.command
     (("theory", Keyword.tag_theory Keyword.thy_begin), @{here}) "begin theory"
     (Thy_Header.args >> (fn header =>
-      Toplevel.init_theory
-        (fn () => Thy_Info.toplevel_begin_theory (! ProofGeneral.master_path) header)));
+      Toplevel.init_theory (fn () => Thy_Info.toplevel_begin_theory Path.current header)));
 
 val _ =
   Outer_Syntax.command