Skip to content

Commit e3a18bd

Browse files
Apply clang-format suggestions
No functional changes.
1 parent ec4d703 commit e3a18bd

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

jbmc/src/java_bytecode/java_string_library_preprocess.cpp

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -316,9 +316,8 @@ exprt::operandst java_string_library_preprocesst::process_operands(
316316
for(const auto &p : operands)
317317
{
318318
if(implements_java_char_sequence_pointer(p.type()))
319-
ops.push_back(
320-
convert_exprt_to_string_exprt(
321-
p, loc, symbol_table, function_id, init_code));
319+
ops.push_back(convert_exprt_to_string_exprt(
320+
p, loc, symbol_table, function_id, init_code));
322321
else if(is_java_char_array_pointer_type(p.type()))
323322
ops.push_back(
324323
replace_char_array(p, loc, function_id, symbol_table, init_code));

0 commit comments

Comments
 (0)