# HG changeset patch
# User wenzelm
# Date 1586370170 -7200
# Node ID 3d514ab74161bb21de9273480363ab8b16b811db
# Parent  7ff7015560634f1b5d0f01d3e4754be5e73fd909
tuned message;

diff -r 7ff701556063 -r 3d514ab74161 src/Pure/Thy/file_format.scala
--- a/src/Pure/Thy/file_format.scala	Wed Apr 08 14:52:54 2020 +0200
+++ b/src/Pure/Thy/file_format.scala	Wed Apr 08 20:22:50 2020 +0200
@@ -56,7 +56,7 @@
 trait File_Format extends Isabelle_System.Service
 {
   def format_name: String
-  override def toString: String = format_name
+  override def toString: String = "File_Format(" + format_name + ")"
 
   def file_ext: String
   def detect(name: String): Boolean = name.endsWith("." + file_ext)