src/Pure/term.scala

--- a/src/Pure/term.scala	Sat Jan 02 20:56:08 2021 +0100
+++ b/src/Pure/term.scala	Sat Jan 02 22:22:34 2021 +0100
@@ -144,7 +144,7 @@
   }
 
   class Cache private[Term](max_string: Int, initial_size: Int)
-    extends isabelle.Cache(max_string = max_string, initial_size = initial_size)
+    extends isabelle.Cache(max_string, initial_size)
   {
     protected def cache_indexname(x: Indexname): Indexname =
       lookup(x) getOrElse store(Indexname(cache_string(x.name), x.index))