# HG changeset patch
# User wenzelm
# Date 1342528403 -7200
# Node ID 31daac3a85eaef02d5e4eda5ce93ebb6b7583611
# Parent  c8dce1689f790a48603c0e467a0ece46408ee28b
more standard main method;

diff -r c8dce1689f79 -r 31daac3a85ea src/Pure/System/main.scala
--- a/src/Pure/System/main.scala	Tue Jul 17 13:07:28 2012 +0200
+++ b/src/Pure/System/main.scala	Tue Jul 17 14:33:23 2012 +0200
@@ -11,7 +11,7 @@
 
 object Main
 {
-  def main(args: Array[String]) =
+  def main(args: Array[String])
   {
     val (out, rc) =
       try {