src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Thu Apr 16 14:18:32 2015 +0200
+++ b/src/Pure/PIDE/command.ML	Thu Apr 16 15:00:03 2015 +0200
@@ -109,11 +109,10 @@
       | NONE => toks)
   | _ => toks);
 
-val bootstrap_thy = ML_Context.the_global_context ();
-
 in
 
-fun read_thy st = Toplevel.theory_of st handle Toplevel.UNDEF => bootstrap_thy;
+fun read_thy st = Toplevel.theory_of st
+  handle Toplevel.UNDEF => Pure_Syn.bootstrap_thy;
 
 fun read keywords thy master_dir init blobs_info span =
   let