Update ADT_vector.h