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/input_handler.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/input_handler.hh')

diff --git a/src/input_handler.hh b/src/input_handler.hh
index 637e2271..d7d831a3 100644
--- a/src/input_handler.hh
+++ b/src/input_handler.hh
@@ -88,11 +88,11 @@ private:
 
     friend class InputMode;
     std::unique_ptr<InputMode> m_mode;
-    std::vector<std::unique_ptr<InputMode>> m_mode_trash;
+    Vector<std::unique_ptr<InputMode>> m_mode_trash;
 
     void change_input_mode(InputMode* new_mode);
 
-    using Insertion = std::pair<InsertMode, std::vector<Key>>;
+    using Insertion = std::pair<InsertMode, Vector<Key>>;
     Insertion m_last_insert = {InsertMode::Insert, {}};
 
     char   m_recording_reg = 0;
-- 
cgit v1.2.3