diff options
Diffstat (limited to 'src/library/scala/xml/pull/XMLEventReader.scala')
-rwxr-xr-x | src/library/scala/xml/pull/XMLEventReader.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/library/scala/xml/pull/XMLEventReader.scala b/src/library/scala/xml/pull/XMLEventReader.scala index 51a2fda6aa..8b7137eed1 100755 --- a/src/library/scala/xml/pull/XMLEventReader.scala +++ b/src/library/scala/xml/pull/XMLEventReader.scala @@ -132,7 +132,7 @@ trait ProducerConsumerIterator[T >: Null] extends Iterator[T] { // consumer/iterator interface - we need not synchronize access to buffer // because we required there to be only one consumer. - def hasNext() = !eos && (buffer != null || fillBuffer) + def hasNext = !eos && (buffer != null || fillBuffer) def next() = { if (eos) throw new NoSuchElementException("ProducerConsumerIterator") if (buffer == null) fillBuffer |