src/Pure/Thy/export_theory.scala

     session_name: String,
     types: Boolean = true,
     consts: Boolean = true): Session =
   {
     val thys =
-      using(SQLite.open_database(store.the_database(session_name)))(db =>
+      using(store.open_database(session_name))(db =>
       {
         db.transaction {
           Export.read_theory_names(db, session_name).iterator.map(_._1).toSet.iterator.
             map((theory_name: String) =>
               read_theory(db, session_name, theory_name, types = types, consts = consts)).toList