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