src/Pure/PIDE/resources.scala
changeset 65452 9e9750a7932c
parent 65445 e9e7f5f5794c
child 65457 2bf0d2fcd506
--- a/src/Pure/PIDE/resources.scala	Sun Apr 09 21:06:19 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Mon Apr 10 11:29:47 2017 +0200
@@ -72,7 +72,7 @@
 
   def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
   {
-    val theory0 = Thy_Header.base_name(s)
+    val theory0 = Thy_Header.import_name(s)
     val theory =
       if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)
         || true /* FIXME */) theory0