| Index: ui/aura_shell/workspace/workspace_manager.cc
|
| diff --git a/ui/aura_shell/workspace/workspace_manager.cc b/ui/aura_shell/workspace/workspace_manager.cc
|
| index f8f5a3e930cc04b206d85cb35c2880b1986a6819..ed76cf1f081db42aaafccb37f69cf8560f92257e 100644
|
| --- a/ui/aura_shell/workspace/workspace_manager.cc
|
| +++ b/ui/aura_shell/workspace/workspace_manager.cc
|
| @@ -25,7 +25,8 @@ WorkspaceManager::WorkspaceManager()
|
| }
|
|
|
| WorkspaceManager::~WorkspaceManager() {
|
| - STLDeleteElements(&workspaces_);
|
| + std::vector<Workspace*> copy_to_delete(workspaces_);
|
| + STLDeleteElements(©_to_delete);
|
| }
|
|
|
| Workspace* WorkspaceManager::CreateWorkspace() {
|
|
|