# HG changeset patch
# User wenzelm
# Date 1568555376 -7200
# Node ID b080d1fb9777e37c798478c325b9b7b74fccb75b
# Parent  edd856e6051a57f4b715419328d240723a19dddc
clarified theory status;

diff -r edd856e6051a -r b080d1fb9777 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Sun Sep 15 15:47:47 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Sep 15 15:49:36 2019 +0200
@@ -212,8 +212,8 @@
 
         def finished_theory(name: Document.Node.Name): Boolean =
           loaded_theory(name) ||
-          already_committed1.isDefinedAt(name) ||
-          state.node_consolidated(version, name)
+          (if (commit.isDefined) already_committed1.isDefinedAt(name)
+           else state.node_consolidated(version, name))
 
         val result1 =
           if (!finished_result &&