# HG changeset patch
# User wenzelm
# Date 1678711596 -3600
# Node ID 25b7914f488c079b0b5f370f3d7b3b7d3d39813f
# Parent  809ad223f40694b289cc58052d718c647d8544d7
tuned output;

diff -r 809ad223f406 -r 25b7914f488c src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Mon Mar 13 13:43:25 2023 +0100
+++ b/src/Pure/System/options.scala	Mon Mar 13 13:46:36 2023 +0100
@@ -10,7 +10,9 @@
 object Options {
   val empty: Options = new Options()
 
-  sealed case class Spec(name: String, value: Option[String] = None)
+  sealed case class Spec(name: String, value: Option[String] = None) {
+    override def toString: String = name + if_proper(value, "=" + value.get)
+  }
 
   sealed case class Change(name: String, value: String, unknown: Boolean) {
     def print_props: String = Properties.Eq(name, value)