Delete maths_functions.ads~