--- a/src/Pure/General/symbol.ML Fri Nov 12 14:06:37 2010 +0100
+++ b/src/Pure/General/symbol.ML Fri Nov 12 14:51:28 2010 +0100
@@ -6,7 +6,7 @@
signature SYMBOL =
sig
- type symbol
+ type symbol = string
val SOH: symbol
val STX: symbol
val ENQ: symbol