changeset 46938 | cda018294515 |
parent 46770 | 44c28a33c461 |
child 48409 | 0d2114eb412a |
--- a/src/Pure/Thy/thy_load.scala Wed Mar 14 22:34:18 2012 +0100 +++ b/src/Pure/Thy/thy_load.scala Thu Mar 15 00:10:45 2012 +0100 @@ -61,7 +61,7 @@ val uses = header.uses if (name.theory != name1) error("Bad file name " + thy_path(Path.basic(name.theory)) + " for theory " + quote(name1)) - Document.Node.Deps(imports, uses) + Document.Node.Deps(imports, header.keywords, uses) } def check_thy(name: Document.Node.Name): Document.Node.Deps =