diff options
author | michelou <michelou@epfl.ch> | 2006-09-06 12:29:33 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-09-06 12:29:33 +0000 |
commit | 55f38ed459fdbbd2bd5d52b3807e663f9cf9b591 (patch) | |
tree | 58234043d1d36b4583a8fa47fd789fb5ffcffcae | |
parent | d921798f076345161bc4d60640f8315e876c8a63 (diff) | |
download | scala-55f38ed459fdbbd2bd5d52b3807e663f9cf9b591.tar.gz scala-55f38ed459fdbbd2bd5d52b3807e663f9cf9b591.tar.bz2 scala-55f38ed459fdbbd2bd5d52b3807e663f9cf9b591.zip |
retrofitted Predef.Array
-rw-r--r-- | src/manual/scala/tools/docutil/EmitHtml.scala | 4 | ||||
-rw-r--r-- | src/manual/scala/tools/docutil/EmitManPage.scala | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index 74e3724bb4..12b692a8e8 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -342,8 +342,8 @@ object EmitHtml { try { val cl = this.getClass.getClassLoader() val clasz = cl.loadClass(args(0)) - val meth = clasz.getDeclaredMethod("manpage", Array[Class]()) - val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] + val meth = clasz.getDeclaredMethod("manpage", Predef.Array[Class]()) + val doc = meth.invoke(null, Predef.Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { case ex: Exception => diff --git a/src/manual/scala/tools/docutil/EmitManPage.scala b/src/manual/scala/tools/docutil/EmitManPage.scala index ad3b99d107..fd9e0d9c05 100644 --- a/src/manual/scala/tools/docutil/EmitManPage.scala +++ b/src/manual/scala/tools/docutil/EmitManPage.scala @@ -163,8 +163,8 @@ object EmitManPage { try { val cl = this.getClass.getClassLoader() val clasz = cl.loadClass(args(0)) - val meth = clasz.getDeclaredMethod("manpage", Array[Class]()) - val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] + val meth = clasz.getDeclaredMethod("manpage", Predef.Array[Class]()) + val doc = meth.invoke(null, Predef.Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { case ex: Exception => |