1.1 --- a/src/Pure/General/position.ML	Thu Jun 04 19:15:55 2009 +0200
     1.2 +++ b/src/Pure/General/position.ML	Thu Jun 04 19:15:57 2009 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    val distance_of: T -> T -> int
     1.5    val none: T
     1.6    val start: T
     1.7 +  val file_name: string -> Properties.T
     1.8    val file: string -> T
     1.9    val line: int -> T
    1.10    val line_file: int -> string -> T