# HG changeset patch
# User wenzelm
# Date 1689619498 -7200
# Node ID 6b6a3e7a0d32b2d2bbadd005e00a4a02c8f07f68
# Parent  d032bf604e9389940b28ce8853acd11cbb70ac54
proper check (amending 234f2ff9afe6);

diff -r d032bf604e93 -r 6b6a3e7a0d32 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Mon Jul 17 20:32:19 2023 +0200
+++ b/src/Pure/General/sql.scala	Mon Jul 17 20:44:58 2023 +0200
@@ -568,7 +568,7 @@
       execute_statement(table.create_index(name, columns, strict, unique))
 
     def create_view(table: Table, strict: Boolean = false): Unit = {
-      if (strict || exists_table(table)) {
+      if (strict || !exists_table(table)) {
         execute_statement("CREATE VIEW " + table + " AS " + { table.query; table.body })
       }
     }