# HG changeset patch
# User wenzelm
# Date 1699714917 -3600
# Node ID 4cb67b3895b9cefd276819f1ce9c4ab6433f58ce
# Parent  21892959704897381f109e997bb9d9c4db501e97
clarified output;

diff -r 218929597048 -r 4cb67b3895b9 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)
+}