diff --git a/src/search/operator_counting/delete_relaxation_if_constraints.cc b/src/search/operator_counting/delete_relaxation_if_constraints.cc index b5f62452a9..9a41f0c6d7 100644 --- a/src/search/operator_counting/delete_relaxation_if_constraints.cc +++ b/src/search/operator_counting/delete_relaxation_if_constraints.cc @@ -241,7 +241,7 @@ class DeleteRelaxationIFConstraintsFeature : public plugins::TypedFeature { public: DeleteRelaxationIFConstraintsFeature() : TypedFeature("delete_relaxation_if_constraints") { - document_title("Delete relaxation constraints"); + document_title("Delete relaxation constraints from Imai and Fukunaga"); document_synopsis( "Operator-counting constraints based on the delete relaxation. By " "default the constraints encode an easy-to-compute relaxation of h^+^. "