From e83a70f9ad2153d480118b7d384e9016fe00dc02 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Aug 2022 06:57:31 -0700 Subject: [PATCH] add newlines for description Signed-off-by: Nikolaj Bjorner --- src/util/gparams.cpp | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/util/gparams.cpp b/src/util/gparams.cpp index 23099e0b57b..22babb9cc9d 100644 --- a/src/util/gparams.cpp +++ b/src/util/gparams.cpp @@ -541,11 +541,10 @@ struct gparams::imp { strm << "unknown module '" << module_name << "'"; throw exception(std::move(strm).str()); } - out << "## Module " << module_name << "\n\n"; + out << "\n## Module " << module_name << "\n\n"; char const * descr = nullptr; - if (get_module_descrs().find(module_name, descr)) { - out << "Description: " << descr; - } + if (get_module_descrs().find(module_name, descr)) + out << "Description: " << descr << "\n"; out << "\n"; d->display_markdown(out); }