From 3ff4081193ac8138e6ffe55b3d0af300b13716aa Mon Sep 17 00:00:00 2001
From: Remo Christen <remo.christen@unibas.ch>
Date: Mon, 7 Oct 2024 14:11:03 +0200
Subject: [PATCH] [trivial] Add author names to delete relaxation constraint
 documentation.

---
 .../operator_counting/delete_relaxation_if_constraints.cc       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<ConstraintGenerator, DeleteRelaxationIFConstraints> {
 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^+^. "