Fix help output of --generate-function-body-options

Author: tautschnig

src/goto-programs/generate_function_bodies.h

@@ -74,11 +74,13 @@ void generate_function_bodies(
 
 #define HELP_REPLACE_FUNCTION_BODY                                             \
   " --generate-function-body <regex>\n"                                        \
-  "                              Generate bodies for functions matching regex" \
+  "                              Generate bodies for functions "               \
+  "matching regex\n"                                                           \
   " --generate-function-body-options <option>\n"                               \
   "                              One of assert-false, assume-false,\n"         \
-  "                              nondet-return, assert-false-assume-false and" \
-  "                              \nhavoc[,params:<regex>][,globals:<regex>]\n" \
+  "                              nondet-return, assert-false-assume-false "    \
+  "and\n"                                                                      \
+  "                              havoc[,params:<regex>][,globals:<regex>]\n"   \
   "                              (default: nondet-return)"
 
 #endif // CPROVER_GOTO_PROGRAMS_GENERATE_FUNCTION_BODIES_H