updating ADT