Skip to content

Commit

Permalink
[trivial] Add missing space in plugin documentation.
Browse files Browse the repository at this point in the history
  • Loading branch information
maltehelmert committed Jan 14, 2025
1 parent c7d6a4d commit 3c8a65b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/search/tasks/default_value_axioms_task.cc
Original file line number Diff line number Diff line change
Expand Up @@ -422,7 +422,7 @@ static plugins::TypedEnumPlugin<AxiomHandlingType> _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."}
});
Expand Down

0 comments on commit 3c8a65b

Please sign in to comment.