# HG changeset patch
# User wenzelm
# Date 1493378286 -7200
# Node ID d6fe8a277576e129fd2473e069d76e503043339e
# Parent  d9533e9615ade1068a90ab1729fd1f68c4666304
unused;

diff -r d9533e9615ad -r d6fe8a277576 src/Pure/Admin/build_log.scala
--- 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)