mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-12 09:03:26 +00:00
Code Activity

add newlines for description

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-08-19 06:57:31 -07:00
parent 514eaf33aa
commit e83a70f9ad
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/util/gparams.cpp
View file

@ -541,11 +541,10 @@ public:
strm << "unknown module '" << module_name << "'"; strm << "unknown module '" << module_name << "'";
throw exception(std::move(strm).str()); throw exception(std::move(strm).str());
} }
out << "## Module " << module_name << "\n\n"; out << "\n## Module " << module_name << "\n\n";
char const * descr = nullptr; char const * descr = nullptr;
if (get_module_descrs().find(module_name, descr)) { if (get_module_descrs().find(module_name, descr))
out << "Description: " << descr; out << "Description: " << descr << "\n";
}
out << "\n"; out << "\n";
d->display_markdown(out); d->display_markdown(out);
} }