--- a/src/Pure/Admin/build_log.scala Mon Feb 27 20:09:58 2023 +0100
+++ b/src/Pure/Admin/build_log.scala Mon Feb 27 20:25:10 2023 +0100
@@ -1074,7 +1074,7 @@
if (ml_statistics) {
val columns = columns1 ::: List(Data.ml_statistics(table2))
val join =
- table1.toString + SQL.join_outer + table2 + " ON " +
+ table1.ident + SQL.join_outer + table2.ident + " ON " +
SQL.and(
Data.log_name(table1).ident + " = " + Data.log_name(table2).ident,
Data.session_name(table1).ident + " = " + Data.session_name(table2).ident)