src/Pure/Thy/sessions.scala
changeset 68169 395432e7516e
parent 68086 9e1c670301b8
child 68204 a554da2811f2
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun May 13 16:33:11 2018 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun May 13 16:37:36 2018 +0200
     1.3 @@ -973,7 +973,7 @@
     1.4  
     1.5      /* SQL database content */
     1.6  
     1.7 -    val xml_cache = new XML.Cache()
     1.8 +    val xml_cache = XML.make_cache()
     1.9      val xz_cache = XZ.make_cache()
    1.10  
    1.11      def read_bytes(db: SQL.Database, name: String, column: SQL.Column): Bytes =