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