Index: Source/modules/webaudio/MediaElementAudioSourceNode.h |
diff --git a/Source/modules/webaudio/MediaElementAudioSourceNode.h b/Source/modules/webaudio/MediaElementAudioSourceNode.h |
index df4e90fac696d7ce162a341288b8002a813f0f54..292794e591dfe961dfc9540b4a1e9f350f367367 100644 |
--- a/Source/modules/webaudio/MediaElementAudioSourceNode.h |
+++ b/Source/modules/webaudio/MediaElementAudioSourceNode.h |
@@ -53,8 +53,8 @@ public: |
// AudioSourceProviderClient |
virtual void setFormat(size_t numberOfChannels, float sampleRate) OVERRIDE; |
- void lock(); |
- void unlock(); |
+ virtual void lock() OVERRIDE; |
+ virtual void unlock() OVERRIDE; |
private: |
MediaElementAudioSourceNode(AudioContext*, HTMLMediaElement*); |