Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 08 Apr 2020 14:09:32 +0200
changeset 71735 9644811b5b0a
parent 71734 713fafb3de79
child 71736 a2afc7ed2c68
tuned;
src/Pure/Tools/spell_checker.scala file | annotate | diff | comparison | revisions 
--- 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])
isabelle