src/Pure/General/symbol_pos.ML

--- a/src/Pure/General/symbol_pos.ML	Sat Nov 13 19:27:41 2010 +0100
+++ b/src/Pure/General/symbol_pos.ML	Sat Nov 13 19:47:23 2010 +0100
@@ -182,7 +182,6 @@
 
 structure Basic_Symbol_Pos =   (*not open by default*)
 struct
-  val symbol = Symbol_Pos.symbol;
   val $$$ = Symbol_Pos.$$$;
   val ~$$$ = Symbol_Pos.~$$$;
 end;