src/Pure/Thy/sessions.scala
changeset 66975 ca73d44d51aa
parent 66974 b14c24b31f45
child 66976 806bc39550a5
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Nov 01 16:31:27 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Nov 01 16:38:15 2017 +0100
     1.3 @@ -328,11 +328,10 @@
     1.4    sealed case class Base_Info(
     1.5      session: String,
     1.6      sessions: T,
     1.7 -    deps: Deps,
     1.8 +    errors: List[String],
     1.9      base: Base,
    1.10      infos: List[Info])
    1.11    {
    1.12 -    def errors: List[String] = deps.errors
    1.13      def check_base: Base = if (errors.isEmpty) base else error(cat_lines(errors))
    1.14    }
    1.15  
    1.16 @@ -396,7 +395,7 @@
    1.17      val deps1 = Sessions.deps(sessions1, global_theories)
    1.18      val base1 = if (all_known) deps1(session1).copy(known = deps1.all_known) else deps1(session1)
    1.19  
    1.20 -    Base_Info(session1, sessions1, deps1, base1, infos1)
    1.21 +    Base_Info(session1, sessions1, deps1.errors, base1, infos1)
    1.22    }
    1.23  
    1.24