Skip to content

Commit 7c89802

Browse files
mgudemannDaniel Kroening
authored and
Daniel Kroening
committed
remove unused skip_initialize
1 parent 1aa5bfd commit 7c89802

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/java_bytecode/java_object_factory.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -384,7 +384,6 @@ void java_object_factoryt::gen_nondet_array_init(
384384

385385
side_effect_exprt java_new_array(ID_java_new_array, expr.type());
386386
java_new_array.copy_to_operands(length_sym_expr);
387-
java_new_array.set("skip_initialize", true);
388387
java_new_array.type().subtype().set(ID_C_element_type, element_type);
389388
codet assign=code_assignt(expr, java_new_array);
390389
assign.add_source_location()=loc;

0 commit comments

Comments
 (0)