unused (see 123f2c0995b8);

--- a/src/Pure/General/sql.scala	Sun Mar 10 22:42:27 2024 +0100
+++ b/src/Pure/General/sql.scala	Sun Mar 10 22:55:18 2024 +0100
@@ -57,7 +57,6 @@
 
   val join_outer: Source = " LEFT OUTER JOIN "
   val join_inner: Source = " INNER JOIN "
-  def join(outer: Boolean): Source = if (outer) join_outer else join_inner
 
   def MULTI(args: Iterable[Source]): Source =
     args.iterator.filter(_.nonEmpty).mkString(";\n")