From 49cf2ff7f7fd5196863e43c8c9c0ea99fa2ea345 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Thu, 16 Nov 2017 17:15:28 +0000 Subject: [PATCH] Adapt to upstream CBMC changes - MALLOC -> ALLOCATE - java_new_array -> java_new_array_data --- src/pointer-analysis/value_set.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp index 2fec93d670b0..7b3d34636907 100644 --- a/src/pointer-analysis/value_set.cpp +++ b/src/pointer-analysis/value_set.cpp @@ -734,7 +734,7 @@ void value_sett::get_value_set_rec( } else if(statement==ID_cpp_new || statement==ID_cpp_new_array || - statement==ID_java_new_array ) + statement==ID_java_new_array_data) { assert(suffix==""); assert(expr_type.id()==ID_pointer);