As Ceylon , it became independent in 1948 ; its name was changed to Sri Lanka in 1972 .