diff options
| author | Patrick Simianer <p@simianer.de> | 2013-11-13 18:12:10 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2013-11-13 18:12:10 +0100 |
| commit | 062d8af12f2bcad39c47b42295b69f44f878768f (patch) | |
| tree | a455fb5dd1a3c01ca3fa6e2ddd5e368040e32eaa /decoder/earley_composer.cc | |
| parent | b8bf706976720527b455eb665fe94f907e372b65 (diff) | |
| parent | f83186887c94b2ff8b17aefcd0b395f116c09eb6 (diff) | |
merge w/ upstream
Diffstat (limited to 'decoder/earley_composer.cc')
| -rw-r--r-- | decoder/earley_composer.cc | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/decoder/earley_composer.cc b/decoder/earley_composer.cc index efce70a6..d47a6969 100644 --- a/decoder/earley_composer.cc +++ b/decoder/earley_composer.cc @@ -4,8 +4,14 @@ #include <fstream> #include <map> #include <queue> -#include <tr1/unordered_map> -#include <tr1/unordered_set> +#ifndef HAVE_OLD_CPP +# include <unordered_map> +# include <unordered_set> +#else +# include <tr1/unordered_map> +# include <tr1/unordered_set> +namespace std { using std::tr1::unordered_map; using std::tr1::unordered_multiset; using std::tr1::unordered_set; } +#endif #include <boost/shared_ptr.hpp> #include <boost/program_options.hpp> @@ -19,7 +25,6 @@ #include "hg_remove_eps.h" using namespace std; -using namespace std::tr1; // Define the following macro if you want to see lots of debugging output // when you run the chart parser |