diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-11-06 15:57:16 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-11-06 15:57:16 +0000 |
commit | b2ed8091cfa6af5cd3e1e6fddb07c55aeadfc311 (patch) | |
tree | ac25286b670ddaa2a2cc3681fa2afa3015609e77 | |
parent | 491d263ce251a952f45a84f4b127cd2a9712db09 (diff) | |
download | scala-b2ed8091cfa6af5cd3e1e6fddb07c55aeadfc311.tar.gz scala-b2ed8091cfa6af5cd3e1e6fddb07c55aeadfc311.tar.bz2 scala-b2ed8091cfa6af5cd3e1e6fddb07c55aeadfc311.zip |
Fixed ticket #222: “Predef.format” incorrectly ...
Fixed ticket #222: “Predef.format” incorrectly forwards call to
“Console”.
-rw-r--r-- | src/library/scala/Predef.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 04d388ce17..31ed2f1da5 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -141,7 +141,7 @@ object Predef { def println() = Console.println() def println(x: Any) = Console.println(x) def printf(text: String, xs: Any*) = Console.printf(text, xs: _*) - def format(text: String, xs: Any*) = Console.format(text, xs) + def format(text: String, xs: Any*) = Console.format(text, xs: _*) def readLine(): String = Console.readLine() def readLine(text: String, args: Any*) = Console.readLine(text, args) |