| Index: webkit/media/buffered_data_source.h
|
| diff --git a/webkit/media/buffered_data_source.h b/webkit/media/buffered_data_source.h
|
| index 331a63b46de551842bfda2e068a001f3a2bcdf9f..e9d979ef4f82dabd75182d67766fc93578636167 100644
|
| --- a/webkit/media/buffered_data_source.h
|
| +++ b/webkit/media/buffered_data_source.h
|
| @@ -196,10 +196,6 @@ class BufferedDataSource : public WebDataSource {
|
| // element.
|
| media::Preload preload_;
|
|
|
| - // Keeps track of whether we used a Range header in the initialization
|
| - // request.
|
| - bool using_range_request_;
|
| -
|
| // Number of cache miss retries left.
|
| int cache_miss_retries_left_;
|
|
|
|
|