summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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>