diff -r a225609e3344 -r 14d83daeaafc src/Pure/System/progress.scala
--- a/src/Pure/System/progress.scala	Tue Sep 23 13:11:52 2025 +0200
+++ b/src/Pure/System/progress.scala	Wed Sep 24 16:22:49 2025 +0200
@@ -65,7 +65,7 @@
 
     def theory(name: Document.Node.Name): Theory = {
       val node_status = apply(name)
-      Theory(theory = name.theory, session = session, total_time = node_status.total_time)
+      Theory(theory = name.theory, session = session, total_time = node_status.total_timing.elapsed)
     }
   }
 }