diff options
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scala/runtime/matching/Address.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/runtime/matching/Address.scala b/sources/scala/runtime/matching/Address.scala index 2691d27801..4f9299cc57 100644 --- a/sources/scala/runtime/matching/Address.scala +++ b/sources/scala/runtime/matching/Address.scala @@ -19,7 +19,7 @@ class Address( l:Int* ) with Ordered[Address] { /** precond: p is nonempty */ def right: Address = list.match { - case List( i, rest@_* ) => new Address( ((i+1) :: rest ):_* ) + case i :: rest => new Address( ((i+1) :: rest ):_* ) } override def toString() = list.mkString("Address(",".",")"); |