src/Pure/General/position.scala

--- a/src/Pure/General/position.scala	Sat Aug 29 12:01:25 2009 +0200
+++ b/src/Pure/General/position.scala	Sat Aug 29 14:31:39 2009 +0200
@@ -6,11 +6,9 @@
 
 package isabelle
 
-import java.util.Properties
 
-
-object Position {
-
+object Position
+{
   type T = List[(String, String)]
 
   private def get_string(name: String, pos: T): Option[String] =
@@ -41,5 +39,4 @@
     val end = end_offset_of(pos)
     (begin, if (end.isDefined) end else begin.map(_ + 1))
   }
-
 }