diff options
Diffstat (limited to 'src/parser/symbol_table.h')
-rw-r--r-- | src/parser/symbol_table.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h index 7dc3783a5..e4aec930e 100644 --- a/src/parser/symbol_table.h +++ b/src/parser/symbol_table.h @@ -18,16 +18,17 @@ #include <string> #include <stack> + #include <ext/hash_map> namespace __gnu_cxx { template<> struct hash<std::string> { size_t operator()(const std::string& str) const { - return hash<const char*> ()(str.c_str()); + return hash<const char*>()(str.c_str()); } }; -} +}/* __gnu_cxx namespace */ namespace CVC4 { namespace parser { @@ -41,7 +42,7 @@ class SymbolTable { private: /** The name to expression bindings */ - typedef __gnu_cxx ::hash_map<std::string, std::stack<ObjectType> > + typedef __gnu_cxx::hash_map<std::string, std::stack<ObjectType> > LookupTable; /** The table iterator */ typedef typename LookupTable::iterator table_iterator; |