export file_name;

--- a/src/Pure/General/position.ML	Thu Jun 04 19:15:55 2009 +0200
+++ b/src/Pure/General/position.ML	Thu Jun 04 19:15:57 2009 +0200
@@ -16,6 +16,7 @@
   val distance_of: T -> T -> int
   val none: T
   val start: T
+  val file_name: string -> Properties.T
   val file: string -> T
   val line: int -> T
   val line_file: int -> string -> T