src/Pure/Isar/outer_syntax.scala
changeset 57911 dcb758188aa6
parent 57910 a50837b637dc
child 58503 ea22f2380871
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Aug 12 14:15:58 2014 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Tue Aug 12 15:31:24 2014 +0200
     1.3 @@ -163,7 +163,7 @@
     1.4        val kind =
     1.5          if (!span.isEmpty && span.head.is_command && !span.exists(_.is_error)) {
     1.6            val name = span.head.source
     1.7 -          val pos = Position.Range(Text.Range(0, Symbol.iterator(name).length))
     1.8 +          val pos = Position.Range(Text.Range(0, Symbol.iterator(name).length) + 1)
     1.9            Command_Span.Command_Span(name, pos)
    1.10          }
    1.11          else if (span.forall(_.is_improper)) Command_Span.Ignored_Span