diff options
-rw-r--r-- | sources/scala/Application.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/Application.scala b/sources/scala/Application.scala index 73b63de635..80fc41acbd 100644 --- a/sources/scala/Application.scala +++ b/sources/scala/Application.scala @@ -34,7 +34,7 @@ package scala; * @version 1.0, 10/09/03 */ -class Application { +[_trait_] class Application { /** The time when execution of this program started. */ |