diff -r ed29a23e8b62 -r ff164add75cd src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Thu Aug 25 12:29:42 2022 +0200
+++ b/src/Pure/General/sql.scala	Thu Aug 25 15:30:21 2022 +0200
@@ -409,6 +409,8 @@
 /** PostgreSQL **/
 
 object PostgreSQL {
+  type Source = SQL.Source
+
   val default_port = 5432
 
   lazy val init_jdbc: Unit = Class.forName("org.postgresql.Driver")