src/Pure/System/options.scala

--- a/src/Pure/System/options.scala	Fri May 01 15:33:43 2015 +0200
+++ b/src/Pure/System/options.scala	Sun May 03 00:01:10 2015 +0200
@@ -368,7 +368,7 @@
       (for {
         (name, opt2) <- options.iterator
         opt1 = defaults.options.get(name)
-        if (opt1.isEmpty || opt1.get.value != opt2.value)
+        if opt1.isEmpty || opt1.get.value != opt2.value
       } yield (name, opt2.value, if (opt1.isEmpty) "  (* unknown *)" else "")).toList
 
     val prefs =
@@ -429,4 +429,3 @@
   }
   val seconds = new Seconds_Access
 }
-