# HG changeset patch
# User wenzelm
# Date 1719994199 -7200
# Node ID 24290f18ceb170274f9b954eb8d62b180a3d204b
# Parent  71aaa7e65d20a9f1f321da4583c6c1881c70b478
unused;

diff -r 71aaa7e65d20 -r 24290f18ceb1 src/Pure/PIDE/yxml.scala
--- a/src/Pure/PIDE/yxml.scala	Wed Jul 03 10:07:39 2024 +0200
+++ b/src/Pure/PIDE/yxml.scala	Wed Jul 03 10:09:59 2024 +0200
@@ -20,9 +20,6 @@
   val X = X_byte.toChar
   val Y = Y_byte.toChar
 
-  val is_X: Char => Boolean = _ == X
-  val is_Y: Char => Boolean = _ == Y
-
   val X_string: String = X.toString
   val Y_string: String = Y.toString
   val XY_string: String = X_string + Y_string