Minor fixes

2024-10-06 20:08:49 +08:00
parent fba1072910
commit 8df5f10d61
11 changed files with 101 additions and 115 deletions
@@ -11,6 +11,11 @@ fun Iterable<String>.toStringIterator(): StringIterator {
    return object : StringIterator {
        val iterator = iterator()

+        override fun len(): Int {
+            // not used by core
+            return 0
+        }
+
        override fun hasNext(): Boolean {
            return iterator.hasNext()
        }