src/Pure/GUI/gui_thread.scala

--- a/src/Pure/GUI/gui_thread.scala	Wed Jun 14 16:03:02 2017 +0200
+++ b/src/Pure/GUI/gui_thread.scala	Fri Jun 16 15:59:27 2017 +0200
@@ -14,13 +14,13 @@
 {
   /* context check */
 
-  def assert[A](body: => A) =
+  def assert[A](body: => A): A =
   {
     Predef.assert(SwingUtilities.isEventDispatchThread())
     body
   }
 
-  def require[A](body: => A) =
+  def require[A](body: => A): A =
   {
     Predef.require(SwingUtilities.isEventDispatchThread())
     body