changeset 73364 | 6bf6160a2c54 |
parent 73359 | d8a0e996614b |
child 73367 | 77ef8bef0593 |
--- a/src/Pure/Thy/sessions.scala Thu Mar 04 16:08:30 2021 +0100 +++ b/src/Pure/Thy/sessions.scala Thu Mar 04 16:23:34 2021 +0100 @@ -11,7 +11,7 @@ import java.nio.channels.FileChannel import java.nio.file.StandardOpenOption -import scala.collection.{SortedSet, SortedMap} +import scala.collection.immutable.{SortedSet, SortedMap} import scala.collection.mutable