src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Mon Jan 02 15:30:57 2023 +0100
+++ b/src/Pure/Thy/sessions.scala	Mon Jan 02 15:41:50 2023 +0100
@@ -1670,7 +1670,7 @@
     ): List[Source_File] = {
       val select =
         Sources.table.select(Nil,
-          Sources.where_equal(session_name, name = name) + " ORDER BY " + Sources.name)
+          Sources.where_equal(session_name, name = name) + SQL.order_by(List(Sources.name)))
       db.using_statement(select) { stmt =>
         (stmt.execute_query().iterator { res =>
           val res_name = res.string(Sources.name)