Delete test7.2.cc