Index: Source/modules/webmidi/MIDIPort.h |
diff --git a/Source/modules/webmidi/MIDIPort.h b/Source/modules/webmidi/MIDIPort.h |
index 08aa1b11ab4921e80b1f77100c5408efef4c6628..96066ce8dc58cdb4474c668ad402594ae3477c4c 100644 |
--- a/Source/modules/webmidi/MIDIPort.h |
+++ b/Source/modules/webmidi/MIDIPort.h |
@@ -58,7 +58,7 @@ public: |
TypeOutput |
}; |
- virtual ~MIDIPort() { } |
+ ~MIDIPort() override { } |
String connection() const; |
String id() const { return m_id; } |
@@ -82,7 +82,7 @@ public: |
// EventTarget |
const AtomicString& interfaceName() const override { return EventTargetNames::MIDIPort; } |
- ExecutionContext* executionContext() const override final; |
+ ExecutionContext* executionContext() const final; |
// ActiveDOMObject |
bool hasPendingActivity() const override; |