src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Sat Dec 31 20:26:34 2016 +0100
+++ b/src/Pure/Isar/token.scala	Sat Dec 31 21:00:43 2016 +0100
@@ -207,7 +207,7 @@
     def position(): Position.T = position(0)
     def position(token: Token): Position.T = position(advance(token).offset)
 
-    override def toString: String = Position.here_undelimited(position())
+    override def toString: String = Position.here(position(), delimited = false)
   }
 
   abstract class Reader extends scala.util.parsing.input.Reader[Token]