Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/session.scala
changeset 73024 337e1b135d2f
parent 72946 9329abcdd651
child 73031 f93f0597f4fb 
--- a/src/Pure/PIDE/session.scala	Sat Jan 02 14:24:03 2021 +0100
+++ b/src/Pure/PIDE/session.scala	Sat Jan 02 15:58:48 2021 +0100
@@ -127,8 +127,8 @@
 {
   session =>
 
-  val xml_cache: XML.Cache = XML.make_cache()
-  val xz_cache: XZ.Cache = XZ.make_cache()
+  val xml_cache: XML.Cache = XML.Cache.make()
+  val xz_cache: XZ.Cache = XZ.Cache.make()
 
   def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info =
     Command.Blobs_Info.none
isabelle