# HG changeset patch
# User wenzelm
# Date 1496855602 -7200
# Node ID 14c014a43278b21d16a1da9ea8266fa6128e3199
# Parent  396785562768cf7301c6438f6b2b0bb08c5b5f2f
tuned;

diff -r 396785562768 -r 14c014a43278 src/Pure/Tools/imports.scala
--- a/src/Pure/Tools/imports.scala	Wed Jun 07 15:52:18 2017 +0200
+++ b/src/Pure/Tools/imports.scala	Wed Jun 07 19:13:22 2017 +0200
@@ -136,7 +136,8 @@
           val info = full_sessions(session_name)
           val session_base = deps(session_name)
           val session_resources = new Resources(session_base)
-          val imports_resources = new Resources(session_base.get_imports)
+          val imports_base = session_base.get_imports
+          val imports_resources = new Resources(imports_base)
 
           def standard_import(qualifier: String, dir: String, s: String): String =
           {
@@ -144,7 +145,7 @@
             val s1 =
               if (session_base.loaded_theory(name)) name.theory
               else {
-                imports_resources.session_base.known.get_file(Path.explode(name.node).file) match {
+                imports_base.known.get_file(Path.explode(name.node).file) match {
                   case Some(name1) if session_resources.theory_qualifier(name1) != qualifier =>
                     name1.theory
                   case Some(name1) if Thy_Header.is_base_name(s) =>