diff options
Diffstat (limited to 'src/include/fst/symbol-table-ops.h')
-rw-r--r-- | src/include/fst/symbol-table-ops.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/fst/symbol-table-ops.h b/src/include/fst/symbol-table-ops.h index e46c4c2..1f327da 100644 --- a/src/include/fst/symbol-table-ops.h +++ b/src/include/fst/symbol-table-ops.h @@ -20,7 +20,7 @@ #include <vector> using std::vector; #include <string> -#include <unordered_set> +#include <tr1/unordered_set> using std::tr1::unordered_set; using std::tr1::unordered_multiset; |