src/Pure/Tools/imports.scala
changeset 66029 063f13f10433
parent 66028 14c014a43278
child 66030 f551ab947569
     1.1 --- a/src/Pure/Tools/imports.scala	Wed Jun 07 19:13:22 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Wed Jun 07 19:41:05 2017 +0200
     1.3 @@ -143,7 +143,7 @@
     1.4            {
     1.5              val name = imports_resources.import_name(qualifier, dir, s)
     1.6              val s1 =
     1.7 -              if (session_base.loaded_theory(name)) name.theory
     1.8 +              if (imports_base.loaded_theory(name)) name.theory
     1.9                else {
    1.10                  imports_base.known.get_file(Path.explode(name.node).file) match {
    1.11                    case Some(name1) if session_resources.theory_qualifier(name1) != qualifier =>