diff --git a/pytools/persistent_dict.py b/pytools/persistent_dict.py index aad472d0..118fab75 100644 --- a/pytools/persistent_dict.py +++ b/pytools/persistent_dict.py @@ -459,7 +459,7 @@ def __init__(self, else: container_dir = platformdirs.user_cache_dir("pytools", "pytools") - self.filename = join(container_dir, f"pdict-v5-{identifier}" + self.filename = join(container_dir, f"pdict-v5-{identifier}-" + ".".join(str(i) for i in sys.version_info) + ".sqlite")