| Index: cc/resources/resource_provider.h
|
| diff --git a/cc/resources/resource_provider.h b/cc/resources/resource_provider.h
|
| index e7bf671314e9bed4cd35e359ce0cc7c7a3bf30fb..5a03cda2644f8418337bc8298e3d04c663fb8007 100644
|
| --- a/cc/resources/resource_provider.h
|
| +++ b/cc/resources/resource_provider.h
|
| @@ -105,8 +105,6 @@
|
| return gpu_memory_buffer_manager_;
|
| }
|
| size_t num_resources() const { return resources_.size(); }
|
| -
|
| - bool IsResourceFormatSupported(ResourceFormat format) const;
|
|
|
| // Checks whether a resource is in use by a consumer.
|
| bool InUseByConsumer(ResourceId id);
|
|
|