diff options
author | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-05-31 13:57:24 +0200 |
---|---|---|
committer | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-05-31 13:57:24 +0200 |
commit | f1ba05780db1705493d9afb562332498b93d26f1 (patch) | |
tree | fb429a657ba97f33e8140742de9bc74d9fc88e75 /mira/kbest_mira.cc | |
parent | aadabfdf37dfd451485277cb77fad02f77b361c6 (diff) | |
parent | 317d650f6cb1e24ac6f3be6f7bf9d4246a59e0e5 (diff) |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mira/kbest_mira.cc')
-rw-r--r-- | mira/kbest_mira.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mira/kbest_mira.cc b/mira/kbest_mira.cc index dc0200d6..8b7993dd 100644 --- a/mira/kbest_mira.cc +++ b/mira/kbest_mira.cc @@ -5,8 +5,6 @@ #include <cmath> #include <tr1/memory> -#include "config.h" - #include <boost/program_options.hpp> #include <boost/program_options/variables_map.hpp> |