more standard main method;
authorwenzelm
Tue Jul 17 14:33:23 2012 +0200 (2012-07-17)
changeset 4827531daac3a85ea
parent 48274 c8dce1689f79
child 48276 4bd480886813
more standard main method;
src/Pure/System/main.scala
     1.1 --- a/src/Pure/System/main.scala	Tue Jul 17 13:07:28 2012 +0200
     1.2 +++ b/src/Pure/System/main.scala	Tue Jul 17 14:33:23 2012 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  object Main
     1.6  {
     1.7 -  def main(args: Array[String]) =
     1.8 +  def main(args: Array[String])
     1.9    {
    1.10      val (out, rc) =
    1.11        try {