summaryrefslogtreecommitdiff
path: root/training/mira
diff options
context:
space:
mode:
authorPaul Baltescu <pauldb89@gmail.com>2014-09-23 13:59:31 +0100
committerPaul Baltescu <pauldb89@gmail.com>2014-09-23 13:59:31 +0100
commitd88186af251ecae60974b20395ce75807bfdda35 (patch)
tree84cad9f7b2c3cf81706e0003a8f74394eee9d9e3 /training/mira
parent574252cdae4aede9e30f19a43cab3494bd01bcc7 (diff)
Remove unused include.
Diffstat (limited to 'training/mira')
-rw-r--r--training/mira/ada_opt_sm.cc1
1 files changed, 0 insertions, 1 deletions
diff --git a/training/mira/ada_opt_sm.cc b/training/mira/ada_opt_sm.cc
index 18ddbf8f..e5d25401 100644
--- a/training/mira/ada_opt_sm.cc
+++ b/training/mira/ada_opt_sm.cc
@@ -1,6 +1,5 @@
#include "config.h"
-#include <boost/container/flat_map.hpp>
#include <boost/shared_ptr.hpp>
#include <boost/program_options.hpp>
#include <boost/program_options/variables_map.hpp>