summaryrefslogtreecommitdiff
path: root/mira
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
commitf1ba05780db1705493d9afb562332498b93d26f1 (patch)
treefb429a657ba97f33e8140742de9bc74d9fc88e75 /mira
parentaadabfdf37dfd451485277cb77fad02f77b361c6 (diff)
parent317d650f6cb1e24ac6f3be6f7bf9d4246a59e0e5 (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mira')
-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>