Skip to content

Commit

Permalink
LoopyKeyBuilder: remove update_for_frozenset
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiasdiener authored and inducer committed Jan 12, 2024
1 parent 57af5f0 commit 86ee4d5
Showing 1 changed file with 0 additions and 5 deletions.
5 changes: 0 additions & 5 deletions loopy/tools.py
Original file line number Diff line number Diff line change
Expand Up @@ -103,11 +103,6 @@ def update_for_dict(self, key_hash, key):

update_for_defaultdict = update_for_dict

def update_for_frozenset(self, key_hash, key):
for set_key in sorted(key,
key=lambda obj: type(obj).__name__ + str(obj)):
self.rec(key_hash, set_key)

def update_for_BasicSet(self, key_hash, key): # noqa
from islpy import Printer
prn = Printer.to_str(key.get_ctx())
Expand Down

0 comments on commit 86ee4d5

Please sign in to comment.