diff --git a/pytools/persistent_dict.py b/pytools/persistent_dict.py index 524c9523cc26344e7c8dcdd15b389c328a9877e8..e362d2e47fa2ec17d57f7c66af09712b45b88b00 100644 --- a/pytools/persistent_dict.py +++ b/pytools/persistent_dict.py @@ -365,7 +365,11 @@ class PersistentDict(object): if read_key != key: # Key collision, oh well. - logger.info("%s: key collision in cache at '%s'" + from warnings import warn + warn("%s: key collision in cache at '%s' -- these are " + "sufficiently unlikely that they're often " + "indicative of a broken implementation " + "of equality comparison" % (self.identifier, self.container_dir)) raise NoSuchEntryError(key)