# HG changeset patch
# User wenzelm
# Date 1661507213 -7200
# Node ID 0b4944b25b9da9705f720fa03db97c5d71b25c09
# Parent  59aa034220bfda9eaee044a967ea5950672441a6
tuned whitespace;

diff -r 59aa034220bf -r 0b4944b25b9d src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Fri Aug 26 11:41:59 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Aug 26 11:46:53 2022 +0200
@@ -1197,7 +1197,7 @@
 
     val augment_table: PostgreSQL.Source =
       "ALTER TABLE IF EXISTS " + table.ident +
-        " ADD COLUMN IF NOT EXISTS " + uuid.decl(SQL.sql_type_postgresql)
+      " ADD COLUMN IF NOT EXISTS " + uuid.decl(SQL.sql_type_postgresql)
   }
 
   def store(options: Options, cache: Term.Cache = Term.Cache.make()): Store =