diff options
| -rw-r--r-- | sources/scala/CaseClass.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/CaseClass.scala b/sources/scala/CaseClass.scala index 52118b3e77..bd50c6e98c 100644 --- a/sources/scala/CaseClass.scala +++ b/sources/scala/CaseClass.scala @@ -18,10 +18,10 @@ trait CaseClass { /** for a case class A(x_0,...,x_(k-1)), returns x_i for 0 <= i < k, ** null otherwise */ - def caseElement(n:int):Any ; + def caseElement(n: Int): Any ; /** for a case class A(x_0,...,x_(k-1)), returns k */ - def caseArity: int ; + def caseArity: Int ; } |