summaryrefslogtreecommitdiff
path: root/gi/pf/cfg_wfst_composer.cc
diff options
context:
space:
mode:
authorPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-02 15:03:24 +0200
committerPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-02 15:03:24 +0200
commit3032285101026b47b0e5bacc67723efc2eadf390 (patch)
treea5ad0239fa24d320671ebd78925fab2d187624a3 /gi/pf/cfg_wfst_composer.cc
parent9f001a7d10ccf138861c72bb791403c19d30d084 (diff)
parentd59bad87d2b3ce1abf881b0c4e5bbc7648cf368f (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'gi/pf/cfg_wfst_composer.cc')
-rw-r--r--gi/pf/cfg_wfst_composer.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/gi/pf/cfg_wfst_composer.cc b/gi/pf/cfg_wfst_composer.cc
index 20520c81..517446d4 100644
--- a/gi/pf/cfg_wfst_composer.cc
+++ b/gi/pf/cfg_wfst_composer.cc
@@ -4,6 +4,7 @@
#include <fstream>
#include <map>
#include <queue>
+#include <tr1/unordered_map>
#include <tr1/unordered_set>
#include <boost/shared_ptr.hpp>