proper deps;
authorwenzelm
Thu Nov 02 15:21:35 2017 +0100 (7 months ago)
changeset 66991fc87d3becd69
parent 66990 b23adab22e67
child 66992 69673025292e
proper deps;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Thu Nov 02 11:47:32 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Thu Nov 02 15:21:35 2017 +0100
     1.3 @@ -389,7 +389,7 @@
     1.4                    parent = ancestor,
     1.5                    description = "Required theory imports from other sessions",
     1.6                    options = Nil,
     1.7 -                  imports = info.imports,
     1.8 +                  imports = info.deps,
     1.9                    theories = List((Nil, required_theories.map(thy => ((thy, Position.none), false)))),
    1.10                    document_files = Nil))))
    1.11          }