--- a/src/Pure/System/gui_setup.scala Thu Jul 05 15:40:57 2012 +0200
+++ b/src/Pure/System/gui_setup.scala Thu Jul 05 16:03:09 2012 +0200
@@ -62,7 +62,7 @@
// reactions
listenTo(ok)
reactions += {
- case ButtonClicked(`ok`) => System.exit(0)
+ case ButtonClicked(`ok`) => sys.exit(0)
}
}
}
--- a/src/Pure/System/main.scala Thu Jul 05 15:40:57 2012 +0200
+++ b/src/Pure/System/main.scala Thu Jul 05 16:03:09 2012 +0200
@@ -25,7 +25,7 @@
Library.dialog(null, "Isabelle", "Isabelle output",
Library.scrollable_text(out + "\nReturn code: " + rc))
- System.exit(rc)
+ sys.exit(rc)
}
}