--- a/src/Pure/Tools/spell_checker.scala Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Pure/Tools/spell_checker.scala Fri Mar 27 22:01:27 2020 +0100
@@ -66,8 +66,8 @@
class Dictionary private[Spell_Checker](val path: Path)
{
- val lang = path.drop_ext.file_name
- val user_path = Path.explode("$ISABELLE_HOME_USER/dictionaries") + Path.basic(lang)
+ val lang: String = path.drop_ext.file_name
+ val user_path: Path = Path.explode("$ISABELLE_HOME_USER/dictionaries") + Path.basic(lang)
override def toString: String = lang
}