src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Tue Jul 20 22:03:37 2010 +0200
+++ b/src/Pure/pure_setup.ML	Tue Jul 20 23:09:49 2010 +0200
@@ -6,8 +6,6 @@
 
 (* the Pure theories *)
 
-val theory = Thy_Info.get_theory;
-
 Context.>> (Context.map_theory
  (Outer_Syntax.process_file (Path.explode "Pure.thy") #>
   Theory.end_theory));