src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Thu Mar 09 12:54:19 2023 +0100
+++ b/src/Pure/Thy/export.scala	Thu Mar 09 12:55:00 2023 +0100
@@ -41,6 +41,8 @@
       SQL.Table("isabelle_exports",
         List(session_name, theory_name, name, executable, compressed, body))
 
+    val tables = SQL.Tables(table)
+
     def where_equal(session_name: String, theory_name: String = "", name: String = ""): SQL.Source =
       SQL.where(
         SQL.and(