# HG changeset patch
# User wenzelm
# Date 1494253632 -7200
# Node ID 373d708898d44fdbfc02ef267846292333b49e94
# Parent  123f2c0995b8de960300191afd51748901a58e8a
tuned signature;

diff -r 123f2c0995b8 -r 373d708898d4 src/Pure/General/sql.scala
--- 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 */