src/Pure/General/xz.scala

--- a/src/Pure/General/xz.scala	Fri Oct 21 13:15:24 2022 +0200
+++ b/src/Pure/General/xz.scala	Fri Oct 21 14:45:13 2022 +0200
@@ -28,7 +28,6 @@
 
   object Cache {
     def none: ArrayCache = ArrayCache.getDummyCache()
-    def apply(): ArrayCache = ArrayCache.getDefaultCache()
     def make(): ArrayCache = new BasicArrayCache
   }