diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:14:28 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:14:28 +0000 |
commit | c1bc12bb74b05df5f38f3feacd42cacac4e42038 (patch) | |
tree | ad71ec8c5b2a04ec9d97e5066181c183f8212899 /src | |
parent | de96bc814a6dd3b619bf247e8e83375d0ae7d595 (diff) |
remove warnings from use of __gnu_cxx::hash_map<>; also spacing fixes in symbol table
Diffstat (limited to 'src')
-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; |