Small tidy for Java UnbufferedCharStream

This commit is contained in:
Ben Hamilton 2017-03-29 13:32:55 -07:00
parent 802f4c4e71
commit 9c61db36b0
1 changed files with 1 additions and 3 deletions

View File

@ -206,9 +206,7 @@ public class UnbufferedCharStream implements CharStream {
int index = p + i - 1;
if ( index < 0 ) throw new IndexOutOfBoundsException();
if ( index >= n ) return IntStream.EOF;
int c = data[index];
if ( c==IntStream.EOF ) return IntStream.EOF;
return c;
return data[index];
}
/**