| Index: Source/modules/webmidi/MIDIPort.h
|
| diff --git a/Source/modules/webmidi/MIDIPort.h b/Source/modules/webmidi/MIDIPort.h
|
| index e5f83abaf69c325011756bd4c8b4c016f35196c4..48e33b7ec7d064f07b78ac0dcd755125620f4b3d 100644
|
| --- a/Source/modules/webmidi/MIDIPort.h
|
| +++ b/Source/modules/webmidi/MIDIPort.h
|
| @@ -60,7 +60,7 @@ public:
|
|
|
| // EventTarget
|
| virtual const AtomicString& interfaceName() const OVERRIDE { return EventTargetNames::MIDIPort; }
|
| - virtual ExecutionContext* executionContext() const OVERRIDE { return ActiveDOMObject::executionContext(); }
|
| + virtual ExecutionContext* executionContext() const OVERRIDE FINAL { return ActiveDOMObject::executionContext(); }
|
|
|
| protected:
|
| MIDIPort(ExecutionContext*, const String& id, const String& manufacturer, const String& name, MIDIPortTypeCode, const String& version);
|
|
|