| Index: gpu/command_buffer/service/texture_manager.h
|
| diff --git a/gpu/command_buffer/service/texture_manager.h b/gpu/command_buffer/service/texture_manager.h
|
| index 2318b2856177d7511d1da935a9f2825f835c93ac..af6de35f55dacde18c4f492c025103aed749cd81 100644
|
| --- a/gpu/command_buffer/service/texture_manager.h
|
| +++ b/gpu/command_buffer/service/texture_manager.h
|
| @@ -481,7 +481,7 @@ class GPU_EXPORT TextureManager {
|
| TextureInfo* CreateTextureInfo(GLuint client_id, GLuint service_id);
|
|
|
| // Gets the texture info for the given texture.
|
| - TextureInfo* GetTextureInfo(GLuint client_id);
|
| + TextureInfo* GetTextureInfo(GLuint client_id) const;
|
|
|
| // Removes a texture info.
|
| void RemoveTextureInfo(GLuint client_id);
|
|
|