Merge pull request #4077 from johnnonweiler/doc/tidy-side-menu

Fix Doxygen formatting in parse_options.h

Author: tautschnig

src/util/parse_options.h

@@ -45,12 +45,13 @@ class parse_options_baset
 std::string
 banner_string(const std::string &front_end, const std::string &version);
 
-/// Utility for displaying help centered messages borderered by "* *"
-/// - we use this for displaying banner information and the like
-/// in help messages
-/// \example
+/// Utility for displaying help centered messages borderered by "* *".
+/// We use this for displaying banner information and the like
+/// in help messages.
+/// ```
 ///   align_center_with_border("test-text")
 ///   == "* *                        test-text                        * *"
+/// ```
 std::string align_center_with_border(const std::string &text);
 
 #endif // CPROVER_UTIL_PARSE_OPTIONS_H