Formatting changes suggested by clang-format

This is necessary for CI

Author: romainbrenguier

src/goto-symex/ssa_step.cpp

@@ -231,8 +231,7 @@ SSA_assignment_stept::SSA_assignment_stept(
   ssa_rhs = std::move(_ssa_rhs);
   assignment_type = _assignment_type;
   cond_expr = equal_exprt{ssa_lhs, ssa_rhs};
-  hidden =
-    assignment_type != symex_targett::assignment_typet::STATE &&
-    assignment_type !=
-    symex_targett::assignment_typet::VISIBLE_ACTUAL_PARAMETER;
+  hidden = assignment_type != symex_targett::assignment_typet::STATE &&
+           assignment_type !=
+             symex_targett::assignment_typet::VISIBLE_ACTUAL_PARAMETER;
 }

src/goto-symex/symex_target_equation.cpp

@@ -114,14 +114,13 @@ void symex_target_equationt::assignment(
 {
   PRECONDITION(ssa_lhs.is_not_nil());
 
-  SSA_steps.emplace_back(SSA_assignment_stept{
-    source,
-    guard,
-    ssa_lhs,
-    ssa_full_lhs,
-    original_full_lhs,
-    ssa_rhs,
-    assignment_type});
+  SSA_steps.emplace_back(SSA_assignment_stept{source,
+                                              guard,
+                                              ssa_lhs,
+                                              ssa_full_lhs,
+                                              original_full_lhs,
+                                              ssa_rhs,
+                                              assignment_type});
 
   merge_ireps(SSA_steps.back());
 }