diff options
author | schinz <schinz@epfl.ch> | 2003-11-04 16:48:15 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2003-11-04 16:48:15 +0000 |
commit | 08cc6583cfe506d897084d7f58ba5f8db8e03d98 (patch) | |
tree | e4f4d9d5a14fd6fc2c86f990828802fe6242bfba | |
parent | 3a6b4792cb395484301e0d5a68df795afe170d2a (diff) | |
download | scala-08cc6583cfe506d897084d7f58ba5f8db8e03d98.tar.gz scala-08cc6583cfe506d897084d7f58ba5f8db8e03d98.tar.bz2 scala-08cc6583cfe506d897084d7f58ba5f8db8e03d98.zip |
- replaced tabs by spaces
-rw-r--r-- | sources/scala/Executable.scala | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/sources/scala/Executable.scala b/sources/scala/Executable.scala index 651d5d136d..f2ef01d9b5 100644 --- a/sources/scala/Executable.scala +++ b/sources/scala/Executable.scala @@ -32,17 +32,18 @@ package scala; * @author Matthias Zenger * @version 1.0, 10/09/03 */ + class Executable { /** The time when execution of this program started. */ - val executionStart: Long = System.currentTimeMillis(); + val executionStart: Long = System.currentTimeMillis(); - /** The default main method. - */ + /** The default main method. + */ def main(args: Array[String]) = { - if (System.getProperty("scala.time") != null) - System.out.println("[total " + - (System.currentTimeMillis() - executionStart) + "ms]"); + if (System.getProperty("scala.time") != null) + System.out.println("[total " + + (System.currentTimeMillis() - executionStart) + "ms]"); } } |