# HG changeset patch
# User wenzelm
# Date 1693322059 -7200
# Node ID 3f3add5eef919bbc90833101719a970e48396218
# Parent  7bfac764a7154916e6ab27a78c1127c2e726dd29
tuned indentation;

diff -r 7bfac764a715 -r 3f3add5eef91 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Tue Aug 29 17:10:48 2023 +0200
+++ b/src/Pure/General/sql.scala	Tue Aug 29 17:14:19 2023 +0200
@@ -97,22 +97,24 @@
 
   enum Type { case Boolean, Int, Long, Double, String, Bytes, Date }
 
-  val sql_type_postgresql: Type => Source = {
-    case Type.Boolean => "BOOLEAN"
-    case Type.Int => "INTEGER"
-    case Type.Long => "BIGINT"
-    case Type.Double => "DOUBLE PRECISION"
-    case Type.String => "TEXT"
-    case Type.Bytes => "BYTEA"
-    case Type.Date => "TIMESTAMP WITH TIME ZONE"
-  }
+  val sql_type_postgresql: Type => Source =
+    {
+      case Type.Boolean => "BOOLEAN"
+      case Type.Int => "INTEGER"
+      case Type.Long => "BIGINT"
+      case Type.Double => "DOUBLE PRECISION"
+      case Type.String => "TEXT"
+      case Type.Bytes => "BYTEA"
+      case Type.Date => "TIMESTAMP WITH TIME ZONE"
+    }
 
-  val sql_type_sqlite: Type => Source = {
-    case Type.Boolean => "INTEGER"
-    case Type.Bytes => "BLOB"
-    case Type.Date => "TEXT"
-    case t => sql_type_postgresql(t)
-  }
+  val sql_type_sqlite: Type => Source =
+    {
+      case Type.Boolean => "INTEGER"
+      case Type.Bytes => "BLOB"
+      case Type.Date => "TEXT"
+      case t => sql_type_postgresql(t)
+    }
 
 
   /* columns */