def discard(self, element):
        """Remove an element from a set if it is a member.

        If the element is not a member, do nothing.
        """
        try:
            self.remove(element)
        except __HOLE__:
            pass
dataset/ETHPy150Open azoft-dev-team/imagrium/env/Lib/sets.py/Set.discard