1.1 --- a/src/Pure/library.scala	Sun Aug 22 20:25:15 2010 +0200
     1.2 +++ b/src/Pure/library.scala	Sun Aug 22 22:09:14 2010 +0200
     1.3 @@ -79,7 +79,7 @@
     1.4      def next(): CharSequence =
     1.5        state match {
     1.6          case Some((s, i)) => { state = next_chunk(i); s }
     1.7 -        case None => throw new NoSuchElementException("next on empty iterator")
     1.8 +        case None => Iterator.empty.next()
     1.9        }
    1.10    }
    1.11