Skip to content

Commit

Permalink
Revert "[issue1133-invariants] implement lt for typed objects"
Browse files Browse the repository at this point in the history
It was included for the change reverted in the previous commit.

This reverts commit 50603bb.
  • Loading branch information
roeger committed Jan 20, 2024
1 parent 364eafc commit 79af53e
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/translate/pddl/pddl_types.py
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down

0 comments on commit 79af53e

Please sign in to comment.