src/Pure/PIDE/resources.scala
changeset 65439 862bfd2b4fd4
parent 65429 fcff401fb609
child 65441 9425e4d8bdb6
     1.1 --- a/src/Pure/PIDE/resources.scala	Fri Apr 07 21:17:18 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Apr 08 12:31:29 2017 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4        try {
     1.5          val header = Thy_Header.read(reader, start, strict).decode_symbols
     1.6  
     1.7 -        val base_name = Long_Name.base_name(node_name.theory)
     1.8 +        val base_name = node_name.theory_base_name
     1.9          val (name, pos) = header.name
    1.10          if (base_name != name)
    1.11            error("Bad theory name " + quote(name) +