tuned;
authorwenzelm
Wed, 08 Apr 2020 14:09:32 +0200
changeset 71951 9644811b5b0a
parent 71950 713fafb3de79
child 71952 a2afc7ed2c68
tuned;
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])