--- a/src/Pure/PIDE/resources.scala Fri Jul 24 15:02:16 2020 +0200
+++ b/src/Pure/PIDE/resources.scala Fri Jul 24 15:20:35 2020 +0200
@@ -7,7 +7,6 @@
package isabelle
-import scala.annotation.tailrec
import scala.util.parsing.input.Reader
import java.io.{File => JFile}