--- a/src/Pure/Admin/build_log.scala Fri Apr 28 11:50:31 2017 +0200
+++ b/src/Pure/Admin/build_log.scala Fri Apr 28 13:18:06 2017 +0200
@@ -624,10 +624,6 @@
val table =
SQL.Table("isabelle_build_log", log_filename :: Prop.columns ::: List(settings, build_info))
-
- def select_statement(db: SQL.Database, name: String, columns: List[SQL.Column])
- : PreparedStatement =
- db.select_statement(table, columns, log_filename.sql_where_equal(name))
}
def store(options: Options): Store = new Store(options)