Used ID_C_cxx_alloc_type in value_set_fi.cpp

Replaced #type with ID_C_cxx_alloc_type in
value_set_fi.cpp.

Author: mariusmc92

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...