update_Alloy