# HG changeset patch
# User wenzelm
# Date 1509632495 -3600
# Node ID fc87d3becd691e61804aa316f97d944aa3e55366
# Parent  b23adab22e6704e3a60d6d678ff2616d44a3c6c8
proper deps;

diff -r b23adab22e67 -r fc87d3becd69 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Thu Nov 02 11:47:32 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Thu Nov 02 15:21:35 2017 +0100
@@ -389,7 +389,7 @@
                   parent = ancestor,
                   description = "Required theory imports from other sessions",
                   options = Nil,
-                  imports = info.imports,
+                  imports = info.deps,
                   theories = List((Nil, required_theories.map(thy => ((thy, Position.none), false)))),
                   document_files = Nil))))
         }