From 70b2ba6a882512a1923679f337f907aeee3d097a Mon Sep 17 00:00:00 2001
From: Marius Melemciuc <marius.melemciuc@diffblue.com>
Date: Thu, 13 Apr 2017 11:49:23 +0100
Subject: [PATCH] Used ID_C_cxx_alloc_type in value_set_fi.cpp

Replaced #type with ID_C_cxx_alloc_type in
value_set_fi.cpp.
---
 src/pointer-analysis/value_set_fi.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pointer-analysis/value_set_fi.cpp b/src/pointer-analysis/value_set_fi.cpp
index 0fbcd7dec00..1add85c924d 100644
--- a/src/pointer-analysis/value_set_fi.cpp
+++ b/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...