# HG changeset patch
# User wenzelm
# Date 1636038175 -3600
# Node ID 80ae353b798e93a29d199368e6023beb78bd1b94
# Parent  55a4b319b2b9a7ec99facb8186bce357f6d748dc
unused;

diff -r 55a4b319b2b9 -r 80ae353b798e src/Pure/General/position.scala
--- 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