replace detail::disjoint_subset
with set_difference
#632
Loading
detail::disjoint_subset
with set_difference
#632