# HG changeset patch
# User wenzelm
# Date 1631189131 -7200
# Node ID d01920a8b082066ab2bd8b3617ff2767bf8b339b
# Parent  5c110ac28dcff88affe562c645299e3a0c9515df
tuned message;

diff -r 5c110ac28dcf -r d01920a8b082 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Thu Sep 09 13:47:29 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Sep 09 14:05:31 2021 +0200
@@ -111,7 +111,7 @@
   def isabelle_id(root: Path = Path.ISABELLE_HOME): String =
     getetc("ISABELLE_ID", root = root) orElse Mercurial.archive_id(root) getOrElse {
       if (Mercurial.is_repository(root)) Mercurial.repository(root).parent()
-      else error("Failed to identify Isabelle distribution " + root)
+      else error("Failed to identify Isabelle distribution " + root.expand)
     }
 
   object Isabelle_Id extends Scala.Fun_String("isabelle_id")