From 3c8a65b5d54da8db50378d66b806b34b07357f35 Mon Sep 17 00:00:00 2001 From: Malte Helmert Date: Tue, 14 Jan 2025 18:07:49 +0100 Subject: [PATCH] [trivial] Add missing space in plugin documentation. --- src/search/tasks/default_value_axioms_task.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/search/tasks/default_value_axioms_task.cc b/src/search/tasks/default_value_axioms_task.cc index e080bcf494..8859acfa7e 100644 --- a/src/search/tasks/default_value_axioms_task.cc +++ b/src/search/tasks/default_value_axioms_task.cc @@ -422,7 +422,7 @@ static plugins::TypedEnumPlugin _enum_plugin({ "Overapproximate negated axioms for all derived variables which " "have cyclic dependencies by setting an empty condition, " "indicating the default value can always be achieved for free. " - "For all other derived variables, the negated axioms are computed" + "For all other derived variables, the negated axioms are computed " "exactly. Note that this can potentially lead to a combinatorial " "explosion."} });