--- a/src/Pure/Thy/export.scala Sat May 19 16:13:39 2018 +0200
+++ b/src/Pure/Thy/export.scala Sat May 19 20:05:13 2018 +0200
@@ -151,8 +151,6 @@
{
val xz_cache = XZ.make_cache()
- db.create_table(Data.table)
-
private val export_errors = Synchronized[List[String]](Nil)
private val consumer =