fix type names for linter

Author: mgudemann

src/util/irep_hash_container.h

@@ -37,23 +37,23 @@ class irep_hash_container_baset
 
   // this is the first level: address of the content
 
-  struct pointer_hash
+  struct pointer_hasht
   {
     inline size_t operator()(const void *p) const
     {
       return (size_t)p;
     }
   };
 
-  typedef std::unordered_map<const void *, size_t, pointer_hash>
+  typedef std::unordered_map<const void *, size_t, pointer_hasht>
     ptr_hasht;
   ptr_hasht ptr_hash;
 
   // this is the second level: content
 
   typedef std::vector<size_t> packedt;
 
-  struct vector_hash
+  struct vector_hasht
   {
     inline size_t operator()(const packedt &p) const
     {
@@ -64,7 +64,7 @@ class irep_hash_container_baset
     }
   };
 
-  typedef hash_numbering<packedt, vector_hash> numberingt;
+  typedef hash_numbering<packedt, vector_hasht> numberingt;
   numberingt numbering;
 
   void pack(const irept &irep, packedt &);