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 &&