Holiday declared on 31 July in one district of Punjab