--- a/src/Pure/PIDE/resources.scala Tue Apr 04 19:40:47 2017 +0200
+++ b/src/Pure/PIDE/resources.scala Tue Apr 04 19:51:56 2017 +0200
@@ -68,8 +68,7 @@
else Nil
def qualify(name: String): String =
- if (Long_Name.is_qualified(name)) error("Bad qualified theory name " + quote(name))
- else if (session_base.global_theories.contains(name)) name
+ if (session_base.global_theories.contains(name) || Long_Name.is_qualified(name)) name
else Long_Name.qualify(session_name, name)
def init_name(raw_path: Path): Document.Node.Name =