| Index: media/midi/midi_manager_android.h
|
| diff --git a/media/midi/midi_manager_android.h b/media/midi/midi_manager_android.h
|
| index fa29a441dbbf6adde817b34b14fa4193869ef17c..467afae5a2d1e153d584b6cecceb484d7a42ddf6 100644
|
| --- a/media/midi/midi_manager_android.h
|
| +++ b/media/midi/midi_manager_android.h
|
| @@ -14,7 +14,6 @@
|
|
|
| #include "base/android/scoped_java_ref.h"
|
| #include "base/containers/hash_tables.h"
|
| -#include "base/memory/scoped_vector.h"
|
| #include "base/synchronization/lock.h"
|
| #include "base/time/time.h"
|
| #include "media/midi/midi_input_port_android.h"
|
| @@ -72,7 +71,7 @@ class MidiManagerAndroid final : public MidiManager,
|
| void AddOutputPortAndroid(MidiOutputPortAndroid* port,
|
| MidiDeviceAndroid* device);
|
|
|
| - ScopedVector<MidiDeviceAndroid> devices_;
|
| + std::vector<std::unique_ptr<MidiDeviceAndroid>> devices_;
|
| // All ports held in |devices_|. Each device has ownership of ports, but we
|
| // can store pointers here because a device will keep its ports while it is
|
| // alive.
|
|
|