| 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_;
|
| };
|
|
|
|
|
|
|