| changeset 70852 | ee2f490a06b4 |
| parent 70851 | 6d01eca49b34 |
| child 70897 | 2cc7c05b3b3c |
--- 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