Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Fri, 26 Aug 2022 11:46:53 +0200
changeset 75978 0b4944b25b9d
parent 75977 59aa034220bf
child 75979 29d813c431bb
tuned whitespace;
src/Pure/Thy/sessions.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle