End list.

jendrikseipp · Oct 6, 2023 · 839e494 · 839e494
1 parent 683f327
commit 839e494
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/search/evaluator.cc b/src/search/evaluator.cc
@@ -94,7 +94,7 @@ static class EvaluatorCategoryPlugin : public plugins::TypedCategoryPlugin<Evalu
             "- **safe:** h(s) = infinity is only true for states "
             "with h*(s) = infinity\n"
             "- **preferred operators:** this heuristic identifies "
-            "preferred operators ");
+            "preferred operators\n\n");
         allow_variable_binding();
     }
 }

diff --git a/src/search/plugins/doc_printer.cc b/src/search/plugins/doc_printer.cc
@@ -190,6 +190,7 @@ void Txt2TagsPrinter::print_category_synopsis(const string &synopsis,
            << "expressions but are deprecated."
            << endl;
     }
+    os << endl;
 }
 
 void Txt2TagsPrinter::print_category_footer() const {