diff -r 49475f8bb4cc -r 2a9d8c74eb3c src/Pure/Tools/sync.scala
--- 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