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);