diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-12 13:58:41 +0000 |
| commit | da562e03a0126adf60d84682f5892b1f610a6ba5 (patch) | |
| tree | e938413b8f25f70562f93c60e7afe95ee82c473c /src/buffer_manager.hh | |
| parent | 83d0813b0ffc8f329a214b533467c761d734e0c1 (diff) | |
replace all std::vector with Vector
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index 9d6edacc..8a046ff3 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -13,7 +13,7 @@ class Buffer; class BufferManager : public Singleton<BufferManager> { public: - using BufferList = std::vector<safe_ptr<Buffer>>; + using BufferList = Vector<safe_ptr<Buffer>>; using iterator = BufferList::const_iterator; ~BufferManager(); |