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 | 6f6601111710aa67eee5169e5b7d89102cc33bb8 (patch) | |
tree | 0872544abd6bc76162f3f80eb3920999afbf2c34 /mira/kbest_mira.cc | |
parent | 8cee8b565a9c56a7732365e9563f52ff3c4ff7fd (diff) | |
parent | 090a64e73f94a6a35e5364a9d416dcf75c0a2938 (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> |