diff options
Diffstat (limited to 'gi/pf')
| -rw-r--r-- | gi/pf/cfg_wfst_composer.cc | 1 |
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> |