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); |