fixing indentation in weighted_ind_set.cpp