src/Pure/General/yxml.scala

--- a/src/Pure/General/yxml.scala	Fri Jun 05 17:01:02 2009 +0200
+++ b/src/Pure/General/yxml.scala	Fri Jun 05 21:55:08 2009 +0200
@@ -18,12 +18,6 @@
   private val X_string = X.toString
   private val Y_string = Y.toString
 
-  def detect(source: CharSequence) = {
-    source.length >= 2 &&
-    source.charAt(0) == X &&
-    source.charAt(1) == Y
-  }
-
 
   /* iterate over chunks (resembles space_explode in ML) */