changeset 79859 | bc979e334c7d |
parent 79844 | ac40138234ce |
child 80083 | e2174bf626b8 |
--- a/src/Pure/Admin/build_log.scala Mon Mar 11 20:24:59 2024 +0100 +++ b/src/Pure/Admin/build_log.scala Mon Mar 11 20:31:35 2024 +0100 @@ -1278,7 +1278,7 @@ val columns = table1.columns.map(c => c(table1)) ::: - List(Column.known.copy(expr = Column.log_name(aux_table).defined)) + List(Column.known.make_expr(Column.log_name(aux_table).defined)) SQL.select(columns, distinct = true) + table1.query_named + SQL.join_outer + aux_table.query_named +