fixed #713

1 files changed, 4 insertions, 5 deletions

diff --git a/src/library/scala/compat/Platform.scala b/src/library/scala/compat/Platform.scala
index a0a3fe07ab..03cf1d28e2 100644
--- a/src/library/scala/compat/Platform.scala
+++ b/src/library/scala/compat/Platform.scala
@@ -1,6 +1,6 @@
 /*                     __                                               *\
 **     ________ ___   / /  ___     Scala API                            **
-**    / __/ __// _ | / /  / _ |    (c) 2002-2007, LAMP/EPFL             **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2008, LAMP/EPFL             **
 **  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
 ** /____/\___/_/ |_/____/_/ | |                                         **
 **                          |/                                          **
@@ -27,8 +27,9 @@ object Platform {
    *  @param destPos ..
    *  @param length  ..
    */
-  def arraycopy(src: AnyRef, srcPos: Int, dest: AnyRef, destPos: Int, length: Int): Unit =
+  def arraycopy(src: AnyRef, srcPos: Int, dest: AnyRef, destPos: Int, length: Int) {
     System.arraycopy(src, srcPos, dest, destPos, length)
+  }
 
   /** Create array of the same type as arrayInstance with the given
    *  length.
@@ -40,7 +41,7 @@ object Platform {
   def createArray(elemClass: Class[_], length: Int): AnyRef =
     java.lang.reflect.Array.newInstance(elemClass, length)
 
-  def arrayclear(arr: Array[Int]): Unit = java.util.Arrays.fill(arr, 0)
+  def arrayclear(arr: Array[Int]) { java.util.Arrays.fill(arr, 0) }
 
   def getClassForName(name: String): Class[_] = java.lang.Class.forName(name)
 
@@ -56,6 +57,4 @@ object Platform {
     new OutputStreamWriter(new ByteArrayOutputStream).getEncoding()
   }
 
-
 }
-