src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Sat Nov 13 20:12:34 2021 +0100
+++ b/src/Pure/Admin/build_log.scala	Sun Nov 14 15:21:40 2021 +0100
@@ -491,7 +491,7 @@
         match {
           case Some((SESSION_NAME, session) :: props) =>
             for (theory <- Markup.Name.unapply(props))
-            yield (session, theory -> Markup.Timing_Properties.parse(props))
+            yield (session, theory -> Markup.Timing_Properties.get(props))
           case _ => None
         }
     }