--- a/src/Pure/General/yxml.ML Tue Jul 12 19:47:40 2011 +0200
+++ b/src/Pure/General/yxml.ML Tue Jul 12 19:49:35 2011 +0200
@@ -52,7 +52,7 @@
val XY = X ^ Y;
val XYX = XY ^ X;
-val detect = exists_string (fn s => s = X);
+val detect = exists_string (fn s => s = X orelse s = Y);
(* output *)