--- a/src/Pure/Tools/spell_checker.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/Tools/spell_checker.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -88,7 +88,7 @@
     }
   }
 
-  def dictionaries(): List[Dictionary] =
+  def dictionaries: List[Dictionary] =
     for {
       path <- Path.split(Isabelle_System.getenv("JORTHO_DICTIONARIES"))
       if path.is_file
changeset 73367	77ef8bef0593
parent 73340	0ffcad1f6130
child 73909	1d0d9772fff0