From 9744a3ea18139d75cc70dde1c33df44a8292589e Mon Sep 17 00:00:00 2001
From: ClemensBuechner <clemens.buechner@unibas.ch>
Date: Wed, 13 Sep 2023 17:22:54 +0200
Subject: [PATCH] Allow reasonable orderings towards landmarks that hold
 initially.

---
 src/search/landmarks/landmark_factory_reasonable_orders_hps.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
index b1c642c9e1..9d6a16baff 100644
--- a/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
+++ b/src/search/landmarks/landmark_factory_reasonable_orders_hps.cc
@@ -50,9 +50,6 @@ void LandmarkFactoryReasonableOrdersHPS::approximate_reasonable_orders(
         if (landmark.disjunctive)
             continue;
 
-        if (landmark.is_true_in_state(initial_state))
-            return;
-
         if (landmark.is_true_in_goal) {
             for (auto &node2_p : lm_graph->get_nodes()) {
                 const Landmark &landmark2 = node2_p->get_landmark();