clarified output;
authorwenzelm
Sat, 11 Nov 2023 16:01:57 +0100
changeset 78940 4cb67b3895b9
parent 78939 218929597048
child 78941 bc7b7357f4bc
clarified output;
src/Pure/System/registry.scala
--- a/src/Pure/System/registry.scala	Sat Nov 11 13:31:14 2023 +0100
+++ b/src/Pure/System/registry.scala	Sat Nov 11 16:01:57 2023 +0100
@@ -14,4 +14,6 @@
   lazy val global: Registry = new Registry(TOML.parse_files(files()))
 }
 
-class Registry private(val toml: TOML.Table)
\ No newline at end of file
+class Registry private(val toml: TOML.Table) {
+  override def toString: String = TOML.Format(toml)
+}