From da562e03a0126adf60d84682f5892b1f610a6ba5 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Mon, 12 Jan 2015 13:58:41 +0000
Subject: replace all std::vector with Vector

---
 src/buffer_manager.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/buffer_manager.hh')

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();
-- 
cgit v1.2.3