Skip to content

Commit 3a344a4

Browse files
committed
Fix clang-format
1 parent bfd2313 commit 3a344a4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

jbmc/src/java_bytecode/remove_java_new.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -306,7 +306,7 @@ goto_programt::targett remove_java_newt::lower_java_new_array(
306306
CHECK_RETURN(sub_type.id() == ID_pointer);
307307
sub_java_new.type() = sub_type;
308308

309-
plus_exprt(tmp_i, from_integer(1, tmp_i.type()));
309+
plus_exprt(tmp_i, from_integer(1, tmp_i.type()));
310310
dereference_exprt deref_expr(
311311
plus_exprt(data, tmp_i), data.type().subtype());
312312

0 commit comments

Comments
 (0)