src/Pure/General/yxml.scala

--- a/src/Pure/General/yxml.scala	Tue Jul 12 14:33:08 2011 +0200
+++ b/src/Pure/General/yxml.scala	Tue Jul 12 14:54:29 2011 +0200
@@ -14,10 +14,10 @@
 {
   /* chunk markers */
 
-  private val X = '\5'
-  private val Y = '\6'
-  private val X_string = X.toString
-  private val Y_string = Y.toString
+  val X = '\5'
+  val Y = '\6'
+  val X_string = X.toString
+  val Y_string = Y.toString
 
 
   /* string representation */  // FIXME byte array version with pseudo-utf-8 (!?)