-
POTTIER Francois authored
always preserves physical equality when the element is already in the set. This property was exploited by the conflict explanation code. The failure of this property (since 2020/01/30) would cause all reduce/reduce conflicts to be mistakenly declared unexplainable.
4b6647fd