src/Pure/General/path.ML

--- a/src/Pure/General/path.ML	Tue Jan 03 12:58:00 2023 +0100
+++ b/src/Pure/General/path.ML	Tue Jan 03 14:00:59 2023 +0100
@@ -38,7 +38,6 @@
   val expand: T -> T
   val file_name: T -> string
   val implode_symbolic: T -> string
-  val position: T -> Position.T
   eqtype binding
   val binding: T * Position.T -> binding
   val binding0: T -> binding
@@ -259,8 +258,6 @@
     | NONE => implode_path path)
   end;
 
-val position = Position.file o implode_symbolic;
-
 
 (* binding: strictly monotonic path with position *)