summaryrefslogtreecommitdiff
path: root/mira
diff options
context:
space:
mode:
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>