# HG changeset patch
# User wenzelm
# Date 1586347772 -7200
# Node ID 9644811b5b0a2ab141cc08226dc9b60075fe87ae
# Parent  713fafb3de790785e184e56dcb7c3a11b10b3e23
tuned;

diff -r 713fafb3de79 -r 9644811b5b0a src/Pure/Tools/spell_checker.scala
--- a/src/Pure/Tools/spell_checker.scala	Wed Apr 08 14:06:26 2020 +0200
+++ b/src/Pure/Tools/spell_checker.scala	Wed Apr 08 14:09:32 2020 +0200
@@ -141,9 +141,9 @@
         permanent_updates
 
     val factory_class = Class.forName("com.inet.jortho.DictionaryFactory")
-    val factory_cons = factory_class.getConstructor()
-    factory_cons.setAccessible(true)
-    val factory = factory_cons.newInstance()
+    val factory_constructor = factory_class.getConstructor()
+    factory_constructor.setAccessible(true)
+    val factory = factory_constructor.newInstance()
 
     val add = Untyped.method(factory_class, "add", classOf[String])