src/Pure/Tools/imports.scala
changeset 66720 b07192253605
parent 66716 8737b866bd1c
child 66737 2edc0c42c883
     1.1 --- a/src/Pure/Tools/imports.scala	Fri Sep 29 21:30:31 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Fri Sep 29 22:12:32 2017 +0200
     1.3 @@ -170,7 +170,7 @@
     1.4                (_, name) <- session_base.known.theories_local.toList
     1.5                if session_resources.theory_qualifier(name) == info.theory_qualifier
     1.6                (_, pos) <- session_resources.check_thy(name, Token.Pos.file(name.node)).imports
     1.7 -              upd <- update_name(session_base.syntax.keywords, pos,
     1.8 +              upd <- update_name(session_base.overall_syntax.keywords, pos,
     1.9                  standard_import(session_resources.theory_qualifier(name), name.master_dir, _))
    1.10              } yield upd
    1.11