Apply clang-format suggestions

No functional change

Author: romainbrenguier

src/goto-instrument/accelerate/enumerating_loop_acceleration.h

@@ -50,15 +50,14 @@ class enumerating_loop_accelerationt
         goto_functions,
         guard_manager),
       path_limit(_path_limit),
-      path_enumerator(
-        util_make_unique<sat_path_enumeratort>(
-          message_handler,
-          symbol_table,
-          goto_functions,
-          goto_program,
-          loop,
-          loop_header,
-          guard_manager))
+      path_enumerator(util_make_unique<sat_path_enumeratort>(
+        message_handler,
+        symbol_table,
+        goto_functions,
+        goto_program,
+        loop,
+        loop_header,
+        guard_manager))
   {
   }