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

tautschnig · tautschnig · commit 69ec7846461a · 2018-04-27T19:30:04.000Z
diff --git a/src/goto-programs/generate_function_bodies.h b/src/goto-programs/generate_function_bodies.h
@@ -74,7 +74,8 @@ 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" \
