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)