From 79af53e8f336cccbed1aac8d35f643cdc0945306 Mon Sep 17 00:00:00 2001 From: Gabriele Roeger Date: Sat, 20 Jan 2024 15:27:34 +0100 Subject: [PATCH] Revert "[issue1133-invariants] implement lt for typed objects" It was included for the change reverted in the previous commit. This reverts commit 50603bb7f32ebb12aee387bad36ea3b392339fcc. --- src/translate/pddl/pddl_types.py | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/translate/pddl/pddl_types.py b/src/translate/pddl/pddl_types.py index 35054aa505..45d2a6286b 100644 --- a/src/translate/pddl/pddl_types.py +++ b/src/translate/pddl/pddl_types.py @@ -46,9 +46,6 @@ def __eq__(self, other): def __ne__(self, other): return not self == other - def __lt__(self, other): - return (self.name, self.type_name) < (other.name, other.type_name) - def __str__(self): return "%s: %s" % (self.name, self.type_name)