tuned messages;

--- 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) =>