src/Pure/PIDE/command.scala
changeset 59708 bf6ca55aae13
parent 59707 740a0ca7e09b
child 59710 aed304412e43
     1.1 --- a/src/Pure/PIDE/command.scala	Sun Mar 15 20:35:47 2015 +0100
     1.2 +++ b/src/Pure/PIDE/command.scala	Sun Mar 15 21:57:10 2015 +0100
     1.3 @@ -362,7 +362,7 @@
     1.4        case Command_Span.Command_Span(name, _) if syntax.is_theory_begin(name) =>
     1.5          val header =
     1.6            resources.check_thy_reader("", node_name,
     1.7 -            new CharSequenceReader(span.source), Token.Pos.offset)
     1.8 +            new CharSequenceReader(span.source), Token.Pos.id(Markup.COMMAND))
     1.9          val import_errors =
    1.10            for ((imp, pos) <- header.imports if !can_import(imp))
    1.11              yield "Bad theory import " + quote(imp.node) + Position.here(pos)