proper session base foundations (amending e848328cb2c1);
authorwenzelm
Sat Jan 05 14:50:36 2019 +0100 (7 months ago ago)
changeset 696061d340f7f8dce
parent 69605 3dda49e08b9d
child 69607 ec135235fbcc
proper session base foundations (amending e848328cb2c1);
src/Pure/PIDE/headless.scala
     1.1 --- a/src/Pure/PIDE/headless.scala	Fri Jan 04 23:22:53 2019 +0100
     1.2 +++ b/src/Pure/PIDE/headless.scala	Sat Jan 05 14:50:36 2019 +0100
     1.3 @@ -110,7 +110,7 @@
     1.4              (already_committed /: dep_theories)({ case (committed, name) =>
     1.5                def parents_committed: Boolean =
     1.6                  version.nodes(name).header.imports.forall({ case (parent, _) =>
     1.7 -                  Sessions.is_pure(parent.theory) || committed.isDefinedAt(parent)
     1.8 +                  resources.session_base.loaded_theory(parent) || committed.isDefinedAt(parent)
     1.9                  })
    1.10                if (!committed.isDefinedAt(name) && parents_committed &&
    1.11                    state.node_consolidated(version, name))