1.1 --- a/src/Pure/General/scan.scala	Wed Jul 18 20:01:55 2012 +0200
     1.2 +++ b/src/Pure/General/scan.scala	Wed Jul 18 20:55:19 2012 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  import scala.util.parsing.input.{OffsetPosition, Position => InputPosition, Reader}
     1.5  import scala.util.parsing.combinator.RegexParsers
     1.6  
     1.7 -import java.io.{File, InputStream, BufferedInputStream, FileInputStream}
     1.8 +import java.io.{File, BufferedInputStream, FileInputStream}
     1.9  
    1.10  
    1.11  object Scan