src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Thu Apr 10 18:29:32 2014 +0200
+++ b/src/Pure/Isar/token.scala	Fri Apr 11 09:36:38 2014 +0200
@@ -140,7 +140,7 @@
     }
 
     def position: Position.T = Position.Line_File(line, file)
-    override def toString: String = Position.here(position)
+    override def toString: String = Position.here_undelimited(position)
   }
 
   abstract class Reader extends scala.util.parsing.input.Reader[Token]