diff --git a/pytools/persistent_dict.py b/pytools/persistent_dict.py index 505d37ca7f9b72c08c7219865ff24b016fa56a0d..03fc2de4e49f24a5162d93da5fe41aa2c3ece41a 100644 --- a/pytools/persistent_dict.py +++ b/pytools/persistent_dict.py @@ -341,6 +341,8 @@ class KeyBuilder: key_hash.update(key.str.encode("utf8")) def update_for_dataclass(self, key_hash, key): + self.rec(key_hash, type(key_hash).__name__.encode("utf-8")) + for fld in fields(key): self.rec(key_hash, fld.name) self.rec(key_hash, getattr(key, fld.name, None))