# HG changeset patch
# User wenzelm
# Date 1493848505 -7200
# Node ID 595bc96005f9abd31707d26050fd31f6b06a0e41
# Parent  d0ca2a3ea657d21a575f25263d9c8d2b826f4a04
omit parentheses for the sake of SQLite;

diff -r d0ca2a3ea657 -r 595bc96005f9 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Wed May 03 23:41:54 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Wed May 03 23:55:05 2017 +0200
@@ -807,7 +807,7 @@
             })
 
             // full view
-            // FIXME db2.create_view(Data.full_table)
+            db2.create_view(Data.full_table)
           }
         }
       })
diff -r d0ca2a3ea657 -r 595bc96005f9 src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Wed May 03 23:41:54 2017 +0200
+++ b/src/Pure/General/sql.scala	Wed May 03 23:55:05 2017 +0200
@@ -316,7 +316,7 @@
     def create_view(table: Table, strict: Boolean = false): Unit =
     {
       if (strict || !tables.contains(table.name)) {
-        val sql = "CREATE VIEW " + table.ident + " AS " + table.query
+        val sql = "CREATE VIEW " + table.ident + " AS " + { table.query; table.body }
         using_statement(sql)(_.execute())
       }
     }