src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Sat May 15 23:32:15 2010 +0200
+++ b/src/Pure/pure_setup.ML	Sat May 15 23:40:00 2010 +0200
@@ -9,7 +9,7 @@
 val theory = ThyInfo.get_theory;
 
 Context.>> (Context.map_theory
- (OuterSyntax.process_file (Path.explode "Pure.thy") #>
+ (Outer_Syntax.process_file (Path.explode "Pure.thy") #>
   Theory.end_theory));
 structure Pure = struct val thy = ML_Context.the_global_context () end;
 Context.set_thread_data NONE;