Merge pull request #825 from mariusmc92/cleanup/replace-hash-type-with-new-irep-id

Used ID_C_cxx_alloc_type in value_set_fi.cpp

Author: Daniel Kroening

src/pointer-analysis/value_set_fi.cpp

@@ -723,7 +723,7 @@ void value_set_fit::get_value_set_rec(
       assert(suffix=="");
 
       const typet &dynamic_type=
-        static_cast<const typet &>(expr.find("#type"));
+        static_cast<const typet &>(expr.find(ID_C_cxx_alloc_type));
 
       dynamic_object_exprt dynamic_object(dynamic_type);
       // let's make up a `unique' number for this object...