diff -r b9f5cd845616 -r 342efc382558 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Sat Mar 18 22:11:05 2017 +0100
+++ b/src/Pure/Admin/build_history.scala	Sun Mar 19 11:56:56 2017 +0100
@@ -230,11 +230,10 @@
             val properties =
               if (database.is_file) {
                 using(SQLite.open_database(database))(db =>
-                  store.read_build_log(db, session_name, ml_statistics = true)).ml_statistics
+                  store.read_build_log(db, ml_statistics = true)).ml_statistics
               }
               else if (log_gz.is_file) {
-                Build_Log.Log_File(log_gz).
-                  parse_session_info(session_name, ml_statistics = true).ml_statistics
+                Build_Log.Log_File(log_gz).parse_session_info(ml_statistics = true).ml_statistics
               }
               else Nil
             properties.map(props => (Build_Log.SESSION_NAME -> session_name) :: props)