# HG changeset patch
# User wenzelm
# Date 1712934453 -7200
# Node ID f4d3e39152286ece6316c4ba3168a3d4224b3f54
# Parent  2ac132ee8bf18841962fe77a1d96bd8af613b9af
tuned messages;

diff -r 2ac132ee8bf1 -r f4d3e3915228 src/Pure/Build/store.scala
--- a/src/Pure/Build/store.scala	Thu Apr 11 12:12:33 2024 +0200
+++ b/src/Pure/Build/store.scala	Fri Apr 12 17:07:33 2024 +0200
@@ -83,7 +83,7 @@
       new Sources(
         session_base.session_sources.foldLeft(Map.empty) {
           case (sources, (path, digest)) =>
-            def err(): Nothing = error("Incoherent digest for source file: " + path)
+            def err(): Nothing = error("Incoherent digest for source file: " + path.expand)
             val name = File.symbolic_path(path)
             sources.get(name) match {
               case Some(source_file) =>