diff options
-rw-r--r-- | sources/scala/runtime/compat/Platform.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scala/runtime/compat/Platform.scala b/sources/scala/runtime/compat/Platform.scala index 798b301b01..d0fa630f8f 100644 --- a/sources/scala/runtime/compat/Platform.scala +++ b/sources/scala/runtime/compat/Platform.scala @@ -14,8 +14,8 @@ package scala.runtime.compat; object Platform { def getClass(obj: AnyRef) = obj.getClass(); def getClassName(obj: AnyRef) = obj.getClass().getName(); - def printStackTrace(exc: java.lang.Exception) = exc.printStackTrace(); - def getMessage(exc: java.lang.Exception) = exc.getMessage(); + def printStackTrace(exc: java.lang.Throwable) = exc.printStackTrace(); + def getMessage(exc: java.lang.Throwable) = exc.getMessage(); def split(str: String, separator: Char): Array[String] = { str.split(separator.toString()); } |