Update replaceADT.cpp