src/Pure/GUI/gui.scala

--- a/src/Pure/GUI/gui.scala	Thu Apr 17 00:29:13 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Apr 22 15:40:43 2025 +0200
@@ -26,7 +26,7 @@
 
   def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
 
-  def is_macos_laf: Boolean =
+  def is_macos_laf(): Boolean =
     Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {