src/Pure/Thy/present.ML

--- a/src/Pure/Thy/present.ML	Fri Aug 23 20:09:34 2013 +0200
+++ b/src/Pure/Thy/present.ML	Fri Aug 23 20:35:50 2013 +0200
@@ -52,8 +52,8 @@
   fun merge _ = empty;
 );
 
-val _ = Context.>> (Context.map_theory
-  (Browser_Info.put {chapter = Context.PureN, name = Context.PureN}));
+val _ = Theory.setup
+  (Browser_Info.put {chapter = Context.PureN, name = Context.PureN});
 
 val session_name = #name o Browser_Info.get;
 val session_chapter_name = (fn {chapter, name} => [chapter, name]) o Browser_Info.get;