Add "// empty last line" to options list in goto_instrument_parse_options.h

Author: danpoe

src/goto-instrument/goto_instrument_parse_options.h

@@ -97,7 +97,8 @@ Author: Daniel Kroening, [email protected]
   OPT_REMOVE_CALLS_NO_BODY \
   OPT_REPLACE_FUNCTION_BODY \
   OPT_GOTO_PROGRAM_STATS \
-  "(show-local-safe-pointers)(show-safe-dereferences)"
+  "(show-local-safe-pointers)(show-safe-dereferences)" \
+  // empty last line
 
 // clang-format on