Switch from std::list to std::vector in a few places to reduce compiled code size

1 files changed, 1 insertions, 2 deletions

diff --git a/history.h b/history.h
index fe700f42..9bfb2a51 100644
--- a/history.h
+++ b/history.h
@@ -11,10 +11,9 @@
 #include <vector>
 #include <utility>
 #include <list>
-#include <tr1/memory>
 #include <set>
 
-typedef std::list<wcstring> path_list_t;
+typedef std::vector<wcstring> path_list_t;
 
 enum history_search_type_t {
     /** The history searches for strings containing the given string */