changeset 48342 | 4a8f06cbf8bb |
parent 46712 | 8650d9a95736 |
child 48409 | 0d2114eb412a |
--- a/src/Pure/General/scan.scala Wed Jul 18 20:01:55 2012 +0200 +++ b/src/Pure/General/scan.scala Wed Jul 18 20:55:19 2012 +0200 @@ -12,7 +12,7 @@ import scala.util.parsing.input.{OffsetPosition, Position => InputPosition, Reader} import scala.util.parsing.combinator.RegexParsers -import java.io.{File, InputStream, BufferedInputStream, FileInputStream} +import java.io.{File, BufferedInputStream, FileInputStream} object Scan