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