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
commitb559c5db28f86b506fbfe152fde027d2fa408111 (patch)
tree5431408ad585237bd66f7b38699a0c9840a63bbd /training/mira
parent2e9ef8da66ca1b82c1a174249ace8353916968e6 (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>