src/Pure/System/getopts.scala

--- a/src/Pure/System/getopts.scala	Sun Dec 10 18:43:08 2017 +0100
+++ b/src/Pure/System/getopts.scala	Sun Dec 10 20:29:00 2017 +0100
@@ -29,7 +29,7 @@
 {
   def usage(): Nothing =
   {
-    Console.println(usage_text)
+    Output.writeln(usage_text, stdout = true)
     sys.exit(1)
   }