Apply clang-format suggestions

No functional changes.

Author: romainbrenguier

jbmc/src/java_bytecode/java_string_library_preprocess.cpp

@@ -336,9 +336,8 @@ exprt::operandst java_string_library_preprocesst::process_operands(
   for(const auto &p : operands)
   {
     if(implements_java_char_sequence_pointer(p.type()))
-      ops.push_back(
-        convert_exprt_to_string_exprt(
-          p, loc, symbol_table, function_id, init_code));
+      ops.push_back(convert_exprt_to_string_exprt(
+        p, loc, symbol_table, function_id, init_code));
     else if(is_java_char_array_pointer_type(p.type()))
       ops.push_back(
         replace_char_array(p, loc, function_id, symbol_table, init_code));
@@ -370,17 +369,15 @@ java_string_library_preprocesst::process_equals_function_operands(
   const exprt &op1 = operands[1];
   PRECONDITION(implements_java_char_sequence_pointer(op0.type()));
 
-  ops.push_back(
-    convert_exprt_to_string_exprt(
-      op0, loc, symbol_table, loc.get_function(), init_code));
+  ops.push_back(convert_exprt_to_string_exprt(
+    op0, loc, symbol_table, loc.get_function(), init_code));
 
   // TODO: Manage the case where we have a non-String Object (this should
   // probably be handled upstream. At any rate, the following code should be
   // protected with assertions on the type of op1.
   const typecast_exprt tcast(op1, to_pointer_type(op0.type()));
-  ops.push_back(
-    convert_exprt_to_string_exprt(
-      tcast, loc, symbol_table, loc.get_function(), init_code));
+  ops.push_back(convert_exprt_to_string_exprt(
+    tcast, loc, symbol_table, loc.get_function(), init_code));
   return ops;
 }