# HG changeset patch
# User wenzelm
# Date 1661423382 -7200
# Node ID ed29a23e8b629c5a47dca0e2f65e197ac28b6a97
# Parent  fe686d96d7ff7625228cc81b2468343d8cb1620f
tuned signature;

diff -r fe686d96d7ff -r ed29a23e8b62 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Thu Aug 25 11:29:55 2022 +0200
+++ b/src/Pure/General/sql.scala	Thu Aug 25 12:29:42 2022 +0200
@@ -144,7 +144,7 @@
 
     def query_named: Source = query + " AS " + SQL.ident(name)
 
-    def create(strict: Boolean = false, sql_type: Type.Value => Source): Source = {
+    def create(strict: Boolean, sql_type: Type.Value => Source): Source = {
       val primary_key =
         columns.filter(_.primary_key).map(_.name) match {
           case Nil => Nil