diff options
-rw-r--r-- | src/library/scala/io/Source.scala | 2 | ||||
-rw-r--r-- | src/library/scala/xml/parsing/ExternalSources.scala | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/library/scala/io/Source.scala b/src/library/scala/io/Source.scala index 25d9ef644b..28be6c3f92 100644 --- a/src/library/scala/io/Source.scala +++ b/src/library/scala/io/Source.scala @@ -63,7 +63,7 @@ object Source { /** creates Source from file with given name, setting * its description to filename. */ - def fromFilename(name: String)(implicit codec: Codec = Codec.default): Source = fromFile(new JFile(name)) + def fromPath(name: String)(implicit codec: Codec = Codec.default): Source = fromFile(new JFile(name)) /** creates <code>Source</code> from file with given file: URI */ diff --git a/src/library/scala/xml/parsing/ExternalSources.scala b/src/library/scala/xml/parsing/ExternalSources.scala index 4638f4de42..832da420c9 100644 --- a/src/library/scala/xml/parsing/ExternalSources.scala +++ b/src/library/scala/xml/parsing/ExternalSources.scala @@ -76,7 +76,7 @@ trait ExternalSources { self: ExternalSources with MarkupParser with MarkupHandl } else fileStr = fileStr.substring(0, fileStr.lastIndexOf(java.io.File.separator)+1) - Source.fromFilename(fileStr + systemId)() + Source.fromPath(fileStr + systemId)() } } |