# HG changeset patch
# User wenzelm
# Date 1496857265 -7200
# Node ID 063f13f10433a9151e004f154f690c0b203dd543
# Parent  14c014a43278b21d16a1da9ea8266fa6128e3199
proper imports_base;

diff -r 14c014a43278 -r 063f13f10433 src/Pure/Tools/imports.scala
--- a/src/Pure/Tools/imports.scala	Wed Jun 07 19:13:22 2017 +0200
+++ b/src/Pure/Tools/imports.scala	Wed Jun 07 19:41:05 2017 +0200
@@ -143,7 +143,7 @@
           {
             val name = imports_resources.import_name(qualifier, dir, s)
             val s1 =
-              if (session_base.loaded_theory(name)) name.theory
+              if (imports_base.loaded_theory(name)) name.theory
               else {
                 imports_base.known.get_file(Path.explode(name.node).file) match {
                   case Some(name1) if session_resources.theory_qualifier(name1) != qualifier =>