--- a/src/Pure/General/scan.scala Sat Jan 16 19:25:20 2021 +0100
+++ b/src/Pure/General/scan.scala Sat Jan 16 22:52:43 2021 +0100
@@ -9,10 +9,9 @@
import scala.annotation.tailrec
import scala.collection.{IndexedSeq, Traversable, TraversableOnce}
-import scala.collection.immutable.PagedSeq
import scala.util.matching.Regex
import scala.util.parsing.input.{OffsetPosition, Position => InputPosition,
- Reader, CharSequenceReader}
+ Reader, CharSequenceReader, PagedSeq}
import scala.util.parsing.combinator.RegexParsers
import java.io.{File => JFile, BufferedInputStream, FileInputStream, InputStream}
import java.net.URL