| Index: src/compiler/graph.h
 | 
| diff --git a/src/compiler/graph.h b/src/compiler/graph.h
 | 
| index 65ea3b30a42c4a1dc286832f55ea86003cd2f41e..0b80507e2f4bc580e9d7dd9c083e3500985a33c0 100644
 | 
| --- a/src/compiler/graph.h
 | 
| +++ b/src/compiler/graph.h
 | 
| @@ -72,16 +72,14 @@ class Graph : public GenericGraph<Node> {
 | 
|    }
 | 
|  
 | 
|    void RemoveDecorator(GraphDecorator* decorator) {
 | 
| -    DecoratorVector::iterator it =
 | 
| +    ZoneVector<GraphDecorator*>::iterator it =
 | 
|          std::find(decorators_.begin(), decorators_.end(), decorator);
 | 
|      DCHECK(it != decorators_.end());
 | 
|      decorators_.erase(it, it + 1);
 | 
|    }
 | 
|  
 | 
|   private:
 | 
| -  typedef std::vector<GraphDecorator*, zone_allocator<GraphDecorator*> >
 | 
| -      DecoratorVector;
 | 
| -  DecoratorVector decorators_;
 | 
| +  ZoneVector<GraphDecorator*> decorators_;
 | 
|  };
 | 
|  
 | 
|  
 | 
| 
 |