diff options
| author | Patrick Simianer <p@simianer.de> | 2014-10-13 19:03:48 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2014-10-13 19:03:48 +0100 |
| commit | cb9fb7088dde35881516c088db402abe747d49fa (patch) | |
| tree | a91e4935a7941f1b261f76d88ab41fa3078a1891 /training/mira | |
| parent | 0a00e57e921c8eca8e02364db7d2e6607bfdcebc (diff) | |
| parent | b1ed81ef3216b212295afa76c5d20a56fb647204 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'training/mira')
| -rw-r--r-- | training/mira/ada_opt_sm.cc | 1 |
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> |