From d5fec7cd487bab5d46dff8b918e355b518142fc4 Mon Sep 17 00:00:00 2001 From: michelou Date: Mon, 22 Aug 2005 11:38:57 +0000 Subject: - updated file header. --- newsources/scala/ScalaObject.scala | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'newsources') diff --git a/newsources/scala/ScalaObject.scala b/newsources/scala/ScalaObject.scala index 0df3ceb7cd..21c1fdbfba 100755 --- a/newsources/scala/ScalaObject.scala +++ b/newsources/scala/ScalaObject.scala @@ -1,6 +1,6 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2002, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2002-2005, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** @@ -12,8 +12,9 @@ package scala; trait ScalaObject extends AnyRef { - /** This method is needed for optimizing pattern matching expressions - * which match on constructors of case classes. - */ - def $tag(): Int = 0; + /** This method is needed for optimizing pattern matching expressions + * which match on constructors of case classes. + */ + def $tag(): Int = 0; + } -- cgit v1.2.3