summaryrefslogtreecommitdiff
path: root/mira/kbest_mira.cc
diff options
context:
space:
mode:
authorPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-31 13:57:24 +0200
committerPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-31 13:57:24 +0200
commit6f6601111710aa67eee5169e5b7d89102cc33bb8 (patch)
tree0872544abd6bc76162f3f80eb3920999afbf2c34 /mira/kbest_mira.cc
parent8cee8b565a9c56a7732365e9563f52ff3c4ff7fd (diff)
parent090a64e73f94a6a35e5364a9d416dcf75c0a2938 (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mira/kbest_mira.cc')
-rw-r--r--mira/kbest_mira.cc2
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>