--- a/src/Pure/Tools/imports.scala Fri Sep 29 21:30:31 2017 +0200
+++ b/src/Pure/Tools/imports.scala Fri Sep 29 22:12:32 2017 +0200
@@ -170,7 +170,7 @@
(_, 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,
+ upd <- update_name(session_base.overall_syntax.keywords, pos,
standard_import(session_resources.theory_qualifier(name), name.master_dir, _))
} yield upd