Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/spell_checker.scala
changeset 71383 8313dca6dee9
parent 69367 34b7550b66c7
child 71601 97ccf48c2f0c 
--- a/src/Pure/Tools/spell_checker.scala	Wed Jan 15 19:49:13 2020 +0100
+++ b/src/Pure/Tools/spell_checker.scala	Wed Jan 15 19:54:50 2020 +0100
@@ -198,7 +198,7 @@
   }
 
   def reset_enabled(): Int =
-    updates.valuesIterator.filter(upd => !upd.permanent).length
+    updates.valuesIterator.count(upd => !upd.permanent)
 
 
   /* check known words */
isabelle