remove warnings from use of __gnu_cxx::hash_map<>; also spacing fixes in symbol table

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;