# HG changeset patch # User wenzelm # Date 1496858810 -7200 # Node ID f551ab9475693a1d3346a49343e0529f3b185b35 # Parent 063f13f10433a9151e004f154f690c0b203dd543 update strictly local imports only; diff -r 063f13f10433 -r f551ab947569 src/Pure/Tools/imports.scala --- a/src/Pure/Tools/imports.scala Wed Jun 07 19:41:05 2017 +0200 +++ b/src/Pure/Tools/imports.scala Wed Jun 07 20:06:50 2017 +0200 @@ -167,6 +167,7 @@ val updates_theories = for { (_, name) <- session_base.known.theories_local.toList + if session_resources.theory_qualifier(name) == info.theory_qualifier (_, pos) <- session_resources.check_thy(name, Token.Pos.file(name.node)).imports upd <- update_name(session_base.syntax.keywords, pos, standard_import(session_resources.theory_qualifier(name), name.master_dir, _))