Index: third_party/WebKit/Source/modules/webmidi/MIDIAccess.h |
diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h b/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h |
index 037a07c8e844e0d0ee57472a0485d9af303499b3..1fa593576242991c25f6aa8dde6a8855c49c24e2 100644 |
--- a/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h |
+++ b/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h |
@@ -91,7 +91,7 @@ class MIDIAccess final : public EventTargetWithInlineData, |
bool hasPendingActivity() const final; |
// ActiveDOMObject |
- void stop() override; |
+ void contextDestroyed() override; |
// MIDIAccessorClient |
void didAddInputPort(const String& id, |