changeset 71738 | 3d514ab74161 |
parent 71733 | 6c470c918aad |
child 72159 | 40b5ee5889d2 |
--- 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)