1 files changed, 1 insertions, 1 deletions
diff --git a/main.cc b/main.cc
index 6ae0bb21..42501544 100644
--- a/main.cc
+++ b/main.cc
@@ -230,7 +230,7 @@ int parse_and_report(int argc, char * argv[], char * envp[])
 
   TIMER_START(process_opts);
 
-  std::deque<std::string> args;
+  std::list<std::string> args;
   process_arguments(argc - 1, argv + 1, false, args);
 
   if (args.empty()) {