diff options
author | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2015-03-09 03:08:31 +0300 |
---|---|---|
committer | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2015-03-09 03:08:31 +0300 |
commit | ddea89312e0fa7017094f1061ca4a15091ab467d (patch) | |
tree | 2e3d2a8bc4725ee7bd01dd30e63be52c796a68a2 /moses/Manager.cpp | |
parent | 596c4c1673cfaae6486d61aeead615bd07a7e655 (diff) |
Commented out an #include that triggered a 'deprecated header' warning.
Diffstat (limited to 'moses/Manager.cpp')
-rw-r--r-- | moses/Manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/moses/Manager.cpp b/moses/Manager.cpp index 854b9cf1d..0e8d5758a 100644 --- a/moses/Manager.cpp +++ b/moses/Manager.cpp @@ -22,7 +22,7 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA #ifdef WIN32 #include <hash_set> #else -#include <ext/hash_set> +// #include <ext/hash_set> #endif #include <algorithm> |