Update abstractDataType.h