src/Pure/Thy/export_theory.scala
changeset 68210 65f79c0ddb0d
parent 68209 aeffd8f1f079
child 68222 3c1a716e7f59
     1.1 --- a/src/Pure/Thy/export_theory.scala	Fri May 18 17:09:55 2018 +0200
     1.2 +++ b/src/Pure/Thy/export_theory.scala	Fri May 18 17:21:12 2018 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4      consts: Boolean = true): Session =
     1.5    {
     1.6      val thys =
     1.7 -      using(SQLite.open_database(store.the_database(session_name)))(db =>
     1.8 +      using(store.open_database(session_name))(db =>
     1.9        {
    1.10          db.transaction {
    1.11            Export.read_theory_names(db, session_name).iterator.map(_._1).toSet.iterator.