blob: ab17aa408c06fe8e4cd3780af09278ae6683da6c [file] [log] [blame]
Fix a leak in set_symmetric_difference().