src/Pure/PIDE/command.scala
changeset 65359 9ca34f0407a9
parent 65341 c82a1620b274
child 65488 331f09d9535e
     1.1 --- a/src/Pure/PIDE/command.scala	Mon Apr 03 14:29:44 2017 +0200
     1.2 +++ b/src/Pure/PIDE/command.scala	Mon Apr 03 16:36:45 2017 +0200
     1.3 @@ -435,7 +435,7 @@
     1.4        // inlined errors
     1.5        case Thy_Header.THEORY =>
     1.6          val reader = Scan.char_reader(Token.implode(span.content))
     1.7 -        val header = resources.check_thy_reader("", node_name, reader)
     1.8 +        val header = resources.check_thy_reader(node_name, reader)
     1.9          val errors =
    1.10            for ((imp, pos) <- header.imports if !can_import(imp)) yield {
    1.11              val msg =