Get rid of unnecessary num_resolved variable