add newlines for description

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 19, 2022 · e83a70f · e83a70f
1 parent 514eaf3
commit e83a70f
Showing 1 changed file with 3 additions and 4 deletions.
diff --git 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);
     }