src/Pure/Thy/sessions.scala
changeset 68204 a554da2811f2
parent 68169 395432e7516e
child 68205 9a8949f71fd4
     1.1 --- a/src/Pure/Thy/sessions.scala	Thu May 17 14:50:48 2018 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Thu May 17 15:38:36 2018 +0200
     1.3 @@ -168,7 +168,8 @@
     1.4      def get_imports: Base = imports getOrElse Base.bootstrap(global_theories)
     1.5    }
     1.6  
     1.7 -  sealed case class Deps(session_bases: Map[String, Base], all_known: Known)
     1.8 +  sealed case class Deps(
     1.9 +    sessions_structure: Structure, session_bases: Map[String, Base], all_known: Known)
    1.10    {
    1.11      def is_empty: Boolean = session_bases.isEmpty
    1.12      def apply(name: String): Base = session_bases(name)
    1.13 @@ -351,7 +352,7 @@
    1.14            }
    1.15        })
    1.16  
    1.17 -    Deps(session_bases, Known.make(Path.current, session_bases.toList.map(_._2)))
    1.18 +    Deps(sessions_structure, session_bases, Known.make(Path.current, session_bases.toList.map(_._2)))
    1.19    }
    1.20  
    1.21  
    1.22 @@ -448,7 +449,7 @@
    1.23      val deps1 = Sessions.deps(sessions1, global_theories, progress = progress)
    1.24      val base1 = deps1(session1).copy(known = deps1.all_known)
    1.25  
    1.26 -    Base_Info(options, dirs, session1, sessions1, deps1.errors, base1, infos1)
    1.27 +    Base_Info(options, dirs, session1, deps1.sessions_structure, deps1.errors, base1, infos1)
    1.28    }
    1.29  
    1.30