src/Pure/Build/database_progress.scala

   private def sync(): Unit = sync_database {}
 
   override def output(message: Progress.Message): Unit = sync_context { _consumer.send(message) }
   override def theory(theory: Progress.Theory): Unit = sync_context { _consumer.send(theory) }
 
-  override def nodes_status(nodes_status: Document_Status.Nodes_Status): Unit =
-    base_progress.nodes_status(nodes_status)
+  override def nodes_status(
+    domain: List[Document.Node.Name],
+    nodes_status: Document_Status.Nodes_Status
+  ): Unit = base_progress.nodes_status(domain, nodes_status)
 
   override def verbose: Boolean = base_progress.verbose
 
   override def stop(): Unit = sync_context { base_progress.stop(); sync() }
   override def stopped: Boolean = sync_context { base_progress.stopped }