# HG changeset patch
# User wenzelm
# Date 1442434141 -7200
# Node ID d48da797a056c565ff8b68b55edba35884a932f2
# Parent  8242818475e25114ca7e5e0d759353b194be5bbf
tuned;

diff -r 8242818475e2 -r d48da797a056 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Wed Sep 16 21:56:00 2015 +0200
+++ b/src/Pure/Tools/main.scala	Wed Sep 16 22:09:01 2015 +0200
@@ -29,7 +29,7 @@
       system_dialog.join_exit
     }
 
-    def build
+    def build()
     {
       try {
         GUI.init_laf()
@@ -74,7 +74,7 @@
       catch { case exn: Throwable => exit_error(exn) }
     }
 
-    def start
+    def start()
     {
       val do_start =
       {
@@ -161,9 +161,9 @@
       }
     }
 
-    build
+    build()
     val rc = system_dialog.join
-    if (rc == 0) start else sys.exit(rc)
+    if (rc == 0) start() else sys.exit(rc)
   }