--- a/src/Pure/PIDE/command.scala Sun Mar 15 20:35:47 2015 +0100
+++ b/src/Pure/PIDE/command.scala Sun Mar 15 21:57:10 2015 +0100
@@ -362,7 +362,7 @@
case Command_Span.Command_Span(name, _) if syntax.is_theory_begin(name) =>
val header =
resources.check_thy_reader("", node_name,
- new CharSequenceReader(span.source), Token.Pos.offset)
+ new CharSequenceReader(span.source), Token.Pos.id(Markup.COMMAND))
val import_errors =
for ((imp, pos) <- header.imports if !can_import(imp))
yield "Bad theory import " + quote(imp.node) + Position.here(pos)