src/Pure/pure_syn.ML

--- a/src/Pure/pure_syn.ML	Tue Apr 05 19:41:58 2016 +0200
+++ b/src/Pure/pure_syn.ML	Tue Apr 05 20:03:24 2016 +0200
@@ -55,7 +55,7 @@
       (fn _ => Toplevel.init_theory (fn () => error "Missing theory initialization")));
 
 
-val bootstrap_thy = ML_Context.the_global_context ();
+val bootstrap_thy = Context.the_global_context ();
 
 val _ = Theory.setup (Config.put_global Outer_Syntax.bootstrap false);