--- a/src/Pure/Tools/sync.scala Sun Feb 18 13:01:00 2024 +0100
+++ b/src/Pure/Tools/sync.scala Sun Feb 18 13:32:44 2024 +0100
@@ -22,7 +22,7 @@
store.find_heap(session).map(_.expand).map(path =>
File.standard_path(path.dir.dir) + "/./" + path.dir.file_name + "/" + path.file_name)
val db =
- store.find_database(session).map(_.expand).map(path =>
+ store.find_log_db(session).map(_.expand).map(path =>
File.standard_path(path.dir.dir.dir) + "/./" + path.dir.dir.file_name + "/" +
path.dir.file_name + "/" + path.file_name)
heap.toList ::: db.toList