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