--- a/src/Pure/General/position.scala Thu Nov 04 15:57:21 2021 +0100 +++ b/src/Pure/General/position.scala Thu Nov 04 16:02:55 2021 +0100 @@ -7,9 +7,6 @@ package isabelle -import java.io.{File => JFile} - - object Position { type T = Properties.T