# HG changeset patch
# User wenzelm
# Date 1570911639 -7200
# Node ID ee2f490a06b495b1adc9433a462f5dce00d79b00
# Parent  6d01eca49b34ed82aa3f50d0167a3e6b3ce7babd
clarified signature default;

diff -r 6d01eca49b34 -r ee2f490a06b4 src/Pure/term.scala
--- a/src/Pure/term.scala	Sat Oct 12 22:18:27 2019 +0200
+++ b/src/Pure/term.scala	Sat Oct 12 22:20:39 2019 +0200
@@ -13,7 +13,7 @@
 {
   /* types and terms */
 
-  sealed case class Indexname(name: String, index: Int)
+  sealed case class Indexname(name: String, index: Int = 0)
   {
     override def toString: String =
       if (index == -1) name