diff options
| author | mihaylov <mihaylov@epfl.ch> | 2004-07-19 08:30:41 +0000 |
|---|---|---|
| committer | mihaylov <mihaylov@epfl.ch> | 2004-07-19 08:30:41 +0000 |
| commit | 259f4d27458fc1aedee00e9d2a644d34455dea6c (patch) | |
| tree | 02a85710bf7422dac956dcfbbf36fceb53d8760a /sources | |
| parent | e27e0cf399d6e33eba13afd3500f0a41e7ab73e0 (diff) | |
| download | scala-259f4d27458fc1aedee00e9d2a644d34455dea6c.tar.gz scala-259f4d27458fc1aedee00e9d2a644d34455dea6c.tar.bz2 scala-259f4d27458fc1aedee00e9d2a644d34455dea6c.zip | |
Use Int instead of int.
with the -nopredefs option
Diffstat (limited to 'sources')
| -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 ; } |