Show of Hands

My friend sends his 2nd and 3rd grade sons to a public school. Today they had their "Christmas Program," and sang traditional Christmas Carols like "Silent Night" and "Away in a Manger." Were any laws broken?