tuned signature;

--- 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