# HG changeset patch
# User wenzelm
# Date 1699110442 -3600
# Node ID 1fbfe0bca5e1ac379dfde75f07de5aa63ac7a266
# Parent  3645442be6d50d952f41855512d20d7499ba08f4
tuned message;

diff -r 3645442be6d5 -r 1fbfe0bca5e1 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Fri Nov 03 19:10:21 2023 +0100
+++ b/src/Pure/Admin/build_log.scala	Sat Nov 04 16:07:22 2023 +0100
@@ -1211,7 +1211,7 @@
 
       if (errors.isEmpty) {
         for (path <- snapshot) {
-          progress.echo("Writing database snapshot " + path)
+          progress.echo("Writing database snapshot " + path.expand)
           store.snapshot_database(db, path)
         }
       }