# HG changeset patch
# User wenzelm
# Date 1712829884 -7200
# Node ID 6ec65767d7bdb3c7ad896a794db6ecb81f15a6cb
# Parent  1a9f0159de5b3cc6801b4282b66166bff005cd8f
tuned messages;

diff -r 1a9f0159de5b -r 6ec65767d7bd src/Pure/ML/ml_heap.scala
--- a/src/Pure/ML/ml_heap.scala	Wed Apr 10 13:23:00 2024 +0200
+++ b/src/Pure/ML/ml_heap.scala	Thu Apr 11 12:04:44 2024 +0200
@@ -294,7 +294,7 @@
                 Isabelle_System.chmod("a+r", tmp)
                 Isabelle_System.move_file(tmp, heap)
               }
-              else error("Incoherent content for session heap " + heap)
+              else error("Incoherent content for session heap " + heap.expand)
             }
           }
         }
@@ -309,7 +309,7 @@
               progress.echo("Restoring " + session.log_db_name + " ...")
               Isabelle_System.make_directory(path.expand.dir)
               Bytes.write(path, log_db.content)
-            case Some(_) => error("Incoherent content for session database " + path)
+            case Some(_) => error("Incoherent content for session database " + path.expand)
             case None =>
           }
         }