From 86ee4d52a627376b686ab5b499c578148bc737eb Mon Sep 17 00:00:00 2001
From: Matthias Diener <mdiener@illinois.edu>
Date: Tue, 12 Dec 2023 18:26:14 -0600
Subject: [PATCH] LoopyKeyBuilder: remove update_for_frozenset

---
 loopy/tools.py | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/loopy/tools.py b/loopy/tools.py
index 24f8dcc75..ca4256b0d 100644
--- a/loopy/tools.py
+++ b/loopy/tools.py
@@ -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())