| Index: src/scanner-character-streams.h
|
| diff --git a/src/scanner-character-streams.h b/src/scanner-character-streams.h
|
| index ff22de59f72a370d93abe1f67eb154eb6b2c1874..3c1cccc4802a74b519e72d39fbc7ab760e71aef5 100644
|
| --- a/src/scanner-character-streams.h
|
| +++ b/src/scanner-character-streams.h
|
| @@ -91,7 +91,7 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream {
|
|
|
| virtual ~ExternalStreamingStream() { delete[] current_data_; }
|
|
|
| - virtual unsigned BufferSeekForward(unsigned delta) OVERRIDE {
|
| + unsigned BufferSeekForward(unsigned delta) OVERRIDE {
|
| // We never need to seek forward when streaming scripts. We only seek
|
| // forward when we want to parse a function whose location we already know,
|
| // and when streaming, we don't know the locations of anything we haven't
|
| @@ -100,7 +100,7 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream {
|
| return 0;
|
| }
|
|
|
| - virtual unsigned FillBuffer(unsigned position) OVERRIDE;
|
| + unsigned FillBuffer(unsigned position) OVERRIDE;
|
|
|
| private:
|
| void HandleUtf8SplitCharacters(unsigned* data_in_buffer);
|
|
|