Minor style fix.

This commit is contained in:
Ferdinand Majerech 2014-08-05 18:21:29 +02:00
parent a89f9e93f7
commit b2d0c74e56

View file

@ -1007,7 +1007,7 @@ final class Scanner
// Already found the first digit in the enforce(), so set length to 1.
uint length = 1;
while(isDigit(reader_.peek(length))) { ++length; }
while(reader_.peek(length).isDigit) { ++length; }
reader_.sliceBuilder.write(reader_.get(length));
}