| Index: Source/core/html/HTMLMediaElement.cpp
|
| diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp
|
| index 8388b864111e9f53da11de3acf520e97bd40cfb7..3cdd494b3458a0cb8a93e55d0a8098b248d3db63 100644
|
| --- a/Source/core/html/HTMLMediaElement.cpp
|
| +++ b/Source/core/html/HTMLMediaElement.cpp
|
| @@ -374,7 +374,7 @@ HTMLMediaElement::~HTMLMediaElement()
|
|
|
| // The m_audioSourceNode is either dead already or it is dying together with
|
| // this HTMLMediaElement which it strongly keeps alive.
|
| -#if !ENABLE(OILPAN)
|
| +#if ENABLE(WEB_AUDIO) && !ENABLE(OILPAN)
|
| ASSERT(!m_audioSourceNode);
|
| #endif
|
| clearMediaPlayerAndAudioSourceProviderClientWithoutLocking();
|
|
|