diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04 16:16:19 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04 16:16:19 +0000 |
| commit | 95f4f2cf6102f95abf6948d74907c44c3540eddd (patch) | |
| tree | f3b6c986dac065190da8a3204a0eaa9b180feabf /src/libexpr | |
| parent | 36a23e86b6ab1265bbf883dd71bc844f7c9183f3 (diff) | |
* If std::tr1::unordered_set is unavailable, use std::set.
Diffstat (limited to 'src/libexpr')
| -rw-r--r-- | src/libexpr/symbol-table.hh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/libexpr/symbol-table.hh b/src/libexpr/symbol-table.hh index 424c23538..20ebe5fed 100644 --- a/src/libexpr/symbol-table.hh +++ b/src/libexpr/symbol-table.hh @@ -1,8 +1,13 @@ #ifndef __SYMBOL_TABLE_H #define __SYMBOL_TABLE_H +#include "config.h" + #include <map> + +#if HAVE_TR1_UNORDERED_SET #include <tr1/unordered_set> +#endif #include "types.hh" @@ -60,7 +65,11 @@ inline std::ostream & operator << (std::ostream & str, const Symbol & sym) class SymbolTable { private: +#if HAVE_TR1_UNORDERED_SET typedef std::tr1::unordered_set<string> Symbols; +#else + typedef std::set<string> Symbols; +#endif Symbols symbols; public: |