# HG changeset patch
# User wenzelm
# Date 1657629511 -7200
# Node ID 347f9fde03dd3eba9e4339c21cefc85c39af6583
# Parent  23fbdac78310000c6c193750381e9af646aaef91
clarified signature;

diff -r 23fbdac78310 -r 347f9fde03dd src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Mon Jul 11 15:22:17 2022 +0200
+++ b/src/Pure/General/file.scala	Tue Jul 12 14:38:31 2022 +0200
@@ -304,6 +304,7 @@
   trait Content {
     def path: Path
     def write(dir: Path): Unit
+    override def toString: String = path.toString
   }
 
   final class Content_Bytes private[File](val path: Path, val content: Bytes) extends Content {