# HG changeset patch
# User wenzelm
# Date 1493849945 -7200
# Node ID 50a61990c01e8c539664681e6a1ad49beeeb5332
# Parent  353b965378cf301ac96065236ac4bb62dc90e4f4
slightly more compact file;

diff -r 353b965378cf -r 50a61990c01e src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Thu May 04 00:15:11 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu May 04 00:19:05 2017 +0200
@@ -810,6 +810,7 @@
             db2.create_view(Data.full_table)
           }
         }
+        db2.rebuild
       })
     }