src/Pure/General/symbol_pos.ML

--- a/src/Pure/General/symbol_pos.ML	Wed Mar 18 20:03:01 2009 +0100
+++ b/src/Pure/General/symbol_pos.ML	Wed Mar 18 21:55:38 2009 +0100
@@ -34,7 +34,7 @@
   val explode: text * Position.T -> T list
 end;
 
-structure SymbolPos: SYMBOL_POS =
+structure Symbol_Pos: SYMBOL_POS =
 struct
 
 (* type T *)
@@ -149,5 +149,5 @@
 
 end;
 
-structure BasicSymbolPos: BASIC_SYMBOL_POS = SymbolPos;   (*not open by default*)
+structure Basic_Symbol_Pos: BASIC_SYMBOL_POS = Symbol_Pos;   (*not open by default*)