Skip to content

Commit 7c08bc0

Browse files
Apply clang-format suggestions
No functional changes.
1 parent 595cb6a commit 7c08bc0

File tree

1 file changed

+4
-6
lines changed

1 file changed

+4
-6
lines changed

jbmc/src/java_bytecode/java_string_library_preprocess.cpp

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -370,17 +370,15 @@ java_string_library_preprocesst::process_equals_function_operands(
370370
const exprt &op1 = operands[1];
371371
PRECONDITION(implements_java_char_sequence_pointer(op0.type()));
372372

373-
ops.push_back(
374-
convert_exprt_to_string_exprt(
375-
op0, loc, symbol_table, loc.get_function(), init_code));
373+
ops.push_back(convert_exprt_to_string_exprt(
374+
op0, loc, symbol_table, loc.get_function(), init_code));
376375

377376
// TODO: Manage the case where we have a non-String Object (this should
378377
// probably be handled upstream. At any rate, the following code should be
379378
// protected with assertions on the type of op1.
380379
const typecast_exprt tcast(op1, to_pointer_type(op0.type()));
381-
ops.push_back(
382-
convert_exprt_to_string_exprt(
383-
tcast, loc, symbol_table, loc.get_function(), init_code));
380+
ops.push_back(convert_exprt_to_string_exprt(
381+
tcast, loc, symbol_table, loc.get_function(), init_code));
384382
return ops;
385383
}
386384

0 commit comments

Comments
 (0)