Index: Source/modules/mediastream/MediaDevicesRequest.h |
diff --git a/Source/modules/mediastream/MediaDevicesRequest.h b/Source/modules/mediastream/MediaDevicesRequest.h |
index 0511813e2cce0b0ed42d5fd601e7fb426d82dc18..52b0bd0c3494f55bffed21af632517c21806cdd8 100644 |
--- a/Source/modules/mediastream/MediaDevicesRequest.h |
+++ b/Source/modules/mediastream/MediaDevicesRequest.h |
@@ -54,7 +54,7 @@ public: |
// ActiveDOMObject |
virtual void stop() OVERRIDE; |
- void trace(Visitor*) { } |
+ virtual void trace(Visitor*) { } |
private: |
MediaDevicesRequest(ExecutionContext*, UserMediaController*, PassOwnPtr<MediaDeviceInfoCallback>); |