src/Pure/General/properties.scala

--- a/src/Pure/General/properties.scala	Fri Oct 21 13:15:24 2022 +0200
+++ b/src/Pure/General/properties.scala	Fri Oct 21 14:45:13 2022 +0200
@@ -55,7 +55,7 @@
 
   def compress(ps: List[T],
     options: XZ.Options = XZ.options(),
-    cache: XZ.Cache = XZ.Cache()
+    cache: XZ.Cache = XZ.Cache.none
   ): Bytes = {
     if (ps.isEmpty) Bytes.empty
     else {