| Index: Source/core/dom/custom/CustomElementMicrotaskQueueBase.h
|
| diff --git a/Source/core/dom/custom/CustomElementMicrotaskQueueBase.h b/Source/core/dom/custom/CustomElementMicrotaskQueueBase.h
|
| index e80d7d80ded6e5884324352a0e701b3ce9714920..f4474760e3fac6fa438de897263371a15a8a298c 100644
|
| --- a/Source/core/dom/custom/CustomElementMicrotaskQueueBase.h
|
| +++ b/Source/core/dom/custom/CustomElementMicrotaskQueueBase.h
|
| @@ -24,7 +24,7 @@ public:
|
| bool isEmpty() const { return m_queue.isEmpty(); }
|
| void dispatch();
|
|
|
| - void trace(Visitor*);
|
| + virtual void trace(Visitor*);
|
|
|
| #if !defined(NDEBUG)
|
| void show(unsigned indent);
|
|
|