| changeset 65776 | 373d708898d4 |
| parent 65775 | 123f2c0995b8 |
| child 65778 | 666a1bac126b |
--- a/src/Pure/General/sql.scala Mon May 08 16:00:14 2017 +0200 +++ b/src/Pure/General/sql.scala Mon May 08 16:27:12 2017 +0200 @@ -50,7 +50,7 @@ val join_outer: Source = " LEFT OUTER JOIN " val join_inner: Source = " INNER JOIN " - def join(outer: Boolean = false): Source = if (outer) join_outer else join_inner + def join(outer: Boolean): Source = if (outer) join_outer else join_inner /* types */